1,721,084 research outputs found
Una metodologia per la modellazione formale di sistemi critici basata su metodi e tecniche di model driven engineering
No full textI sistemi basati su calcolatore sono ormai presenti nella nostra vita di ogni giorno e ne influenzano molti aspetti, a volte senza che di ciò si abbia neanche precisa cognizione. I sistemi che forniscono supporto indispensabile alle attività economiche, ai trasporti e alle comunicazioni, per non tacere dei sistemi che vengono utilizzati in campo biomedico o nell’automazione industriale e di altri sistemi a cui sono demandati servizi critici in termini di sicurezza fisica di persone e beni, hanno ormai raggiunto livelli di complessità che ne rendono estremamente difficile la progettazione, lo sviluppo e - una volta operativi – la necessaria manutenzione al fine di garantire che i requisiti di affidabilità e sicurezza continuino ad essere soddisfatti durante l’esercizio.
Tali sistemi presentano in genere un’architettura distribuita di grandi dimensioni in cui la complessità è dovuta anche alla forte eterogeneità dei componenti, sia a livello hardware che software. Essi devono rispondere a diversi requisiti, dettati nel caso di sistemi critici anche da standard internazionali, il cui soddisfacimento deve essere dimostrato, anche ai fini della necessaria certificazione.
Pertanto è indispensabile che il processo di sviluppo (esteso anche agli aspetti legati all’esercizio ed alla manutenzione) sia tale da rendere possibile l’evidenza formale del rispetto dei requisiti. A tale scopo sono stati investigati nel passato e quindi applicati allo sviluppo dei sistemi approcci di modellazione formale che, costruendo un modello del sistema ne consentono l’analisi e quindi sia la validazione che la verifica di proprietà. E’ ben noto però che l’applicazione di metodi formali in ambito industriale – sebbene fortemente consigliato quando non obbligatorio – è rallentato dalle difficoltà dettate da un lato dalla complessità dei modelli (che rispecchia la complessità dei sistemi), e dall’altro dalla necessità di avere personale formato nell’uso dei linguaggi formali e nello sviluppo di modelli.
In altre parole, si ravvisa la necessità di metodologie di sviluppo e di strumenti di supporto alla modellazione. Così come nel tempo si è affermata come disciplina l’ ingegneria del software, così attualmente si sente la necessità di una ingegneria dei modelli che definisca le opportune metodologie e i processi necessari a ingegnerizzare le attività di sviluppo di modelli complessi e a migliorare il rapporto qualità/costo anche nell’ambito della modellazione formale.
Allo stato attuale in letteratura sono presenti diversi approcci, che possono essere ricondotti a due linee fondamentali: a) metodologie e strumenti per la composizionalità ed il multiformalismo, e relative tecniche di soluzione; b) derivazione (possibilmente automatica) di modelli formali da modelli di alto livello del sistema utilizzati nella specifica e nella progettazione.
La presente tesi si pone in questo contesto l’obiettivo di definire una metodologia di sviluppo che consenta di integrare queste due linee e di trarre vantaggio quindi sia dalla possibilità di uno sviluppo di modelli “per componenti”, sia dalla possibilità di derivare automaticamente modelli formali da modelli di alto livello del sistema e dei relativi requisiti grazie alla attuale disponibilità di framework attualmente utilizzati nello sviluppo di sistemi software in ambito di Model Driven Engineering (MDE).
Il contributo originale della tesi è nella definizione della metodologia e delle sue fasi, nella definizione e nello sviluppo di alcune tecniche a supporto e nel particolare focus applicativo orientato alla manutenibilità dei sistemi critici, aspetto questo non sufficientemente trattato in letteratura e di particolare importanza per i sistemi critici
GAUSS - Governing Adaptive and Unplanned Systems of Systems
No full textSmart living environments require appropriate software infrastructures able to integrate independent subsystems and support their seamless cooperation: for example, cities abound with private and independent surveillance systems, which miss the opportunity to provide wider coverage of the city due to their inability to cooperate opportunistically.
Each subsystem must both exist as an independent entity and become part of wider systems when needed. This vision radically changes the notion of “integrated” system:
- Subsystems offer limited interaction capabilities and little possibility to be controlled
- Although the number of subsystems available at runtime might be huge, their cooperation can be ad-hoc and only needed in specific cases or conditions
- Often there is no prior, complete, knowledge of the subsystems, thus their presence and capabilities must be inferred dynamically when the need for cooperation arises.
Recent solutions for the integration of these large-scale Systems of Systems (SoS) are domain and technology specific, aimed to solve particular problems or focused on systems heterogeneity, rather than aimed to manage these systems in different contexts and conditions.
The GAUSS project will deliver the methodological enablers required to identify, integrate, and manage “emergent” SoS (eSoS). These require dynamic and opportunistic engineering due to their intrinsically variable nature tied to their scale and heterogeneity. GAUSS will release a set of integrated technologies to address these engineering problems of eSoS at runtime, when specific execution contexts may invalidate design-time solutions. GAUSS will govern eSoS by enriching initial lightweight designs with concrete and contextualised aspects obtained from the runtime context.
GAUSS will contribute in three areas:
Models. GAUSS will extensively exploit models of functional and nonfunctional requirements, of the context and of the governance policies, to successfully integrate independently designed subsystems. GAUSS will define lightweight design methods and techniques to infer these models at runtime from systems not designed to obey to GAUSS requirements.
Runtime analysis. GAUSS will address the dynamic evolution of the system architecture and integration logic by combining: architecture synthesis techniques based on parameterized integration, coordination and adaptation patterns; techniques that automatically extract accurate behavior models from streams of continuous observations; online V&V procedures that continuously assess the fitness-for-purpose and dependability of eSoS.
Automatic governance. GAUSS will raise the level of confidence that people and society place on eSoS by: defining adaptation rules compatible with governance policies and context to avoid negative interferences and unstable behaviors; reconfiguring and optimizing inefficient and critical eSoS subsystems; providing self-protection mechanisms to avoid failures
Information Fusion e sorveglianza
No full textUno degli ambiti maggiormente interessati dall???aumento del rapporto tra numero di elaboratori e numero di utenti è quello dei sistemi di monitoraggio distribuito per applicazioni di supervisione, diagnostica e sorveglianza. In tali sistemi, infatti, pochi operatori sono chiamati a
controllare un elevato numero di sensori e sottosistemi, spesso distribuiti ed eterogenei. In questo articolo verranno illustrate tecniche automatiche di integrazione ed interpretazione dei dati per consentire di gestire una mole potenzialmente elevata di informazioni ed adottare decisioni efficaci in tempi rapidi
Modelli per l'analisi di sistemi critici
No full textL’impiego di elaboratori in contesti diversi e sempre più delicati richiede di prestare particolare attenzione alle problematiche di sicurezza e affidabilità. In questo articolo, dopo una breve introduzione ai concetti base della dependability dei sistemi di elaborazione, verrà presentata una panoramica
sulle tecniche modellistiche più diffuse per l’analisi di sistemi critici. Basandosi su vantaggi e limitazioni dei diversi approcci descritti, sarà introdotto il tema della modellazione multi-formalismo, riferendosi ad alcune delle prospettive di ricerca più interessanti in tale ambito
- …
