Filters








5,408 Hits in 6.1 sec

A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems

Wei-Tsun Sun, Alain Girault, Gwenael Delaval
2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES)  
We demonstrate the feasibility of a complete workflow to synthesize and implement correct-by-construction fault tolerant distributed embedded systems consisting of real-time periodic tasks.  ...  The correct implementation of the resulting distributed system is a challenge, all the more since the controller itself must be tolerant to the processor failures.  ...  CONCLUSIONS AND FUTURE WORKS We have shown the flow of modeling, synthesizing, and im- plementing a fault-tolerant system with a formal approach.  ... 
doi:10.1109/sies.2015.7185068 dblp:conf/sies/SunGD15 fatcat:lecnqc7yqbhcjdkapwyrzweypa

Manufacturing plant control: Challenges and issues

Gérard Morel, Carlos Eduardo Pereira
2007 Control Engineering Practice  
Enterprise control system integration between business systems, manufacturing execution systems and shop-floor process-control systems remains a key issue for facilitating the deployment of plant-wide  ...  The remaining goal is to define and experiment with the next generation of manufacturing systems, which should be able to cope with the high degree of complexity required to implement agility, flexibility  ...  Using formal verification and formal synthesis techniques in a convenient way, for instance, would surely increase the potential of both approaches.  ... 
doi:10.1016/j.conengprac.2007.06.003 fatcat:lmszqjfbm5eh5kdxwelcu342z4

Manufacturing plant control challenges and issues

Gérard Morel, Paul Valckenaers, Jean-Marc Faure, Carlos E. Pereira, Christian Diedrich
2007 Control Engineering Practice  
Enterprise control system integration between business systems, manufacturing execution systems and shop-floor process-control systems remains a key issue for facilitating the deployment of plant-wide  ...  The remaining goal is to define and experiment with the next generation of manufacturing systems, which should be able to cope with the high degree of complexity required to implement agility, flexibility  ...  Using formal verification and formal synthesis techniques in a convenient way, for instance, would surely increase the potential of both approaches.  ... 
doi:10.1016/j.conengprac.2007.05.005 fatcat:bc3cibuxs5ce5auyr5wdifjviy

Methods for Safe Control Systems Design and Implementation

Jean-Marc Faure, Jean-Jacques Lesage
2001 IFAC Proceedings Volumes  
This enables a more formal approach of safe control design and implementation.  ...  This classification is based on a life-cycle criterion. Focusing then on discrete event systems safety, we point out the relationships between state space synthesis and analysis and system safety.  ...  In the fourth paper, Dangoumau and Craye explain how the modes management model for a fault tolerant system can be built.  ... 
doi:10.1016/s1474-6670(17)33275-5 fatcat:qrbawefrszbnrpenefdimtujjq

Embedded computing - Formal methods in embedded design

S.D. Johnson
2003 Computer  
Reliable infrastructure The coming generation of certifiably fault-tolerant networks, hardware, and middleware for automotive and avionics applications already entails formal methods use.  ...  Alternatively, a synthesis tool starts with a protocol model and adds implementation details. Tools for these tasks are the subject of current research, with some products now becoming available.  ... 
doi:10.1109/mc.2003.1244539 fatcat:wctoe3stwrfttc6webv6usdd54

A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems

Mark L. McKelvin, Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
2005 Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05  
Our approach is centered on a model of computation, Fault Tolerant Data Flow (FTDF), that enables the integration of formal verification techniques.  ...  Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of both performance versus cost aspects and fault coverage of fault tolerant solutions.  ...  ACKNOWLEDGEMENTS We would like to acknowledge the constructive discussions with Joe Wysocki and Rick Clemons from HRL Laboratories as well as General Motors Research staff, specifically Rami Debouk and  ... 
doi:10.1145/1086228.1086272 dblp:conf/emsoft/McKelvinEPKS05 fatcat:von62qwntjgcxceearxhkhdv7a

A Self-Repairing Hardware Architecture for Safety-Critical Cyber-Physical-Systems

Shawkat Khairullah, Carl Elks
2019 IET Cyber-Physical Systems  
Digital embedded systems in safety-critical cyber-physical-systems (CPSs) require high levels of resilience and robustness against different fault classes.  ...  In recent years, self-healing concepts based on biological physiology have received attention for the design and implementation of reliable systems.  ...  and synthesis of HDL designs.  ... 
doi:10.1049/iet-cps.2019.0022 fatcat:xnmbz3i5zze27n3ct3f7r5yfde

A Survey on Formal Verification Approaches for Dependable Systems [article]

Fayhaa Hameedi Khlaif, Shawkat Sabah Khairullah
2022 arXiv   pre-print
This paper focuses on presenting various studies on formal verification approaches and how the V&V can be achieved for developing high dependable digital embedded systems  ...  Because of their benefits and importance in the building of complex digital systems, the employment of formal V&V methods has recently attracted a lot of attention.  ...  The Fault-Tolerant Fuel Control and Power Window were two automotive systems where they used in their approach.  ... 
arXiv:2204.12913v1 fatcat:y7jyq2gdjrgyxjtyibuknintfq

Safety, reliability and security of industrial computer systems

K Kanoun, A Pasquini
2001 Reliability Engineering & System Safety  
There is now a stronger emphasis on techniques and methods for safety analysis, to ensure that the system satisfies the required dependability properties and that these properties are adequately implemented  ...  Safecomp is a Conference organised yearly by the European Workshop on Industrial Computer Systems (EWICS), with the aim of reviewing the state of the art, experiences and new trends in the areas of computer  ...  Paper [3] presents a more specific verification activity: the approach used to verify the fault tolerance ability of a generic architecture developed for embedded safety critical systems.  ... 
doi:10.1016/s0951-8320(00)00075-2 fatcat:yii4lwmiivc7tczorzjeqklana

Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis

Alain Girault, Eric Rutten
2005 Electronical Notes in Theoretical Computer Science  
Embedded systems require safe design methods based on formal methods, as well as safe execution based on fault-tolerance techniques.  ...  We propose model patterns for a set of periodic tasks, a set of distributed, heterogeneous and fail-silent processors, and an environment model that expresses the potential fault patterns.  ...  Discussion Fault-tolerance for embedded systems can be divided into two classes of approaches: static or dynamic.  ... 
doi:10.1016/j.entcs.2004.08.059 fatcat:7npczfsuqvf5rfbt57wzryt3ne

Industrial Cyber-Physical Systems – iCyPhy [chapter]

Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Eelco Scholte
2014 Complex Systems Design & Management  
The approach leverages considerable experience designing complex artifacts in the semiconductor, embedded systems, and software industries, and major recent advances in algorithmic techniques for dealing  ...  ICyPhy is a pre-competitive industry-academic partnership focused on architectures, abstractions, technologies, methodologies, and supporting tools for the design, modeling, and analysis of large-scale  ...  In particular, methods and tools are needed: -To reason about fault tolerance of systems and the impact of system degradation.  ... 
doi:10.1007/978-3-319-02812-5_2 dblp:conf/csdm/FisherJLMSS13 fatcat:pnb2o3qkbfcwjoqmbw6syvky5i

Reactive control of adaptive embedded systems

Eric Rutten
2008 Proceedings of the 7th workshop on Reflective and adaptive middleware - ARM '08  
We use them as a foundation for an approach combining adaptivity and predictability, and describe a method for the safe design of safe execution systems, relying on a technique for the static guarantee  ...  This is the goal of the formal techniques for their specification, validation and verification.  ...  , or also typically dependability and fault tolerance for a safe execution.  ... 
doi:10.1145/1462716.1462724 dblp:conf/middleware/Rutten08 fatcat:o2zpm3gwj5dtdkdcllefuofqkq

Guidelines for a graduate curriculum on embedded software and systems

P. Caspi, G. Folher, M. Garcia-Valls, H. Kopetz, Y. Lakhnech, F. Laroussinie, L. Lavagno, G. Lipari, F. Maraninchi, Ph. Peti, J. de la Puente, A. Sangiovanni-Vincentelli (+16 others)
2005 ACM Transactions on Embedded Computing Systems  
as they have for the Distributed and Fault Tolerant Systems community.  ...  In addition to these basic material, a strong link should be established with fault-tolerance, for two reasons: (1) all fault-tolerant implementations require some kind of redundancy, that is itself distributed  ... 
doi:10.1145/1086519.1086526 fatcat:hsgxai4byndjpj43sx7lsv6rzy

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications [chapter]

Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas S. E. Maibaum, Nazareno Aguirre
2015 Lecture Notes in Computer Science  
is realizable; in such a case, a description of the component is produced together with the maximal set of faults that can be supported for this level of tolerance.  ...  In this paper we introduce syntMaskFT, a tool that synthesizes fault-tolerant programs from specifications written in a fragment of branching time logic with deontic operators, designed for specifying  ...  Despite the growing research on system synthesis, the availability of tools for fault-tolerant system synthesis is still low.  ... 
doi:10.1007/978-3-662-46681-0_13 fatcat:gfn3xkloh5alhgdkamefvvw7pu

Fault-Tolerant Distributed Deployment of Embedded Control Software

Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2008 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
After providing a system-level specification of the target platform and the fault model, designers can rely on the synthesis of the low-level fault-tolerance mechanisms.  ...  Finally, we report on the application of our design flow to two case studies from the automotive industry: a steer-by-wire system from General Motors and a drive-by-wire system from BMW.  ...  Kanajan of General Motors for their collaboration in developing the drive-by-wire and the steer-bywire systems, respectively, and C. Dima and A. Girault for inspiration and support.  ... 
doi:10.1109/tcad.2008.917971 fatcat:zpvwmyxlf5hzbbaztgyesd7sea
« Previous Showing results 1 — 15 out of 5,408 results