Filters








11,361 Hits in 4.3 sec

Formal Development of Reactive Fault Tolerant Systems [chapter]

Linas Laibinis, Elena Troubitsyna
2006 Lecture Notes in Computer Science  
We demonstrate how to develop a layered control system by recursive application of this pattern. Controller Sensors Actuators Plant  ...  We present a formal specification pattern for designing components of layered control systems that contain interruption and exception handlers as an intrinsic part of the specification.  ...  Moreover, we propose a formal approach to the development of reactive fault tolerant control systems in a layered manner.  ... 
doi:10.1007/11751113_17 fatcat:pjdy77mdhzfzffpjpx5vcj46wm

Rigorous Development of Fault-Tolerant Systems through Co-refinement [chapter]

Ilya Lopatkin, Alexander Romanovsky
2014 Lecture Notes in Computer Science  
However, fault tolerance modelling and, in particular, rigorous definitions of fault tolerance requirements, fault assumptions and system recovery have not been given enough attention during formal system  ...  However, fault tolerance modelling and, in particular, rigorous definitions of fault tolerance requirements, fault assumptions and system recovery have not been given enough attention during formal system  ...  Abstract modelling of a reactive fault tolerant system starts with defining a failure-free functionality of the system (Step 1).  ... 
doi:10.1007/978-3-319-08311-7_3 fatcat:a45yixon4ndurcqcqe2akygdhy

Integrating Fault-Tolerant Techniques into the Design of Critical Systems [chapter]

Ricardo J. Rodríguez, José Merseguer
2010 Lecture Notes in Computer Science  
So, the idea here presented is how to integrate already developed fault-tolerant techniques in software designs for their analysis.  ...  Software designs equipped with specification of dependability techniques can help engineers to develop critical systems.  ...  This paper addresses the issue of integrating already developed fault-tolerant (FT) techniques into software designs for their analysis through automatically obtained formal models.  ... 
doi:10.1007/978-3-642-13556-9_3 fatcat:onkojcksyral7axsuumhghcjpu

Modeling Faults of Distributed, Reactive Systems [chapter]

Max Breitling
2000 Lecture Notes in Computer Science  
In this paper the notions of faults, errors, failures, error detection, error messages, error correcting components and fault tolerance are discussed, based on a formal model that represents systems as  ...  After the fault-free version of the system is developed, the possible faults and appropriate countermeasures can be integrated seamlessly in the system.  ...  Finally, only convincing case studies are able to show a recognizable bene t of the idea to formally develop fault-tolerant systems. (? ?)  ... 
doi:10.1007/3-540-45352-0_7 fatcat:hgq2hhhwezakznbywhlailnwzu

Model-Driven Engineering of Dependable Systems

Vidar Slåtten
2010 2010 Third International Conference on Software Testing, Verification and Validation  
This motivates our decision to work on reducing the development effort and competence required to create dependable, distributed, reactive systems.  ...  The scope is narrowed to extending the SPACE method with software-implemented fault-tolerance mechanisms and providing tool-supported fault removal in the form of model checking.  ...  suite, provides a novel way of developing reactive systems.  ... 
doi:10.1109/icst.2010.49 dblp:conf/icst/Slatten10 fatcat:qu5sgsie3rcapmn2fwitzvadou

Demonstration of a formal method for incremental qualification of IMA systems

Jonas Elmqvist, Simin Nadjm-Tehrani, Kristina Forsberg, Stellan Nordenbro
2008 2008 IEEE/AIAA 27th Digital Avionics Systems Conference  
This creates a formal framework for IMA system safety assessment.  ...  In this paper we address the process of incremental certification/qualification of Integrated Modular Avionic (IMA) systems.  ...  The second author was partially supported by the University of Luxembourg.  ... 
doi:10.1109/dasc.2008.4702860 fatcat:hotdfnqpvfdtpgpsslngipyw6a

Towards formally analyzed Cyber-Physical Systems [article]

Richárd Szabó, András Vörös
2021 arXiv   pre-print
The paradigm of model-driven design provides a toolkit supporting the design and analysis and by choosing the proper formalisms, the model-driven design approach allows us to validate our system at design  ...  Today's cyber-physical systems are extremely complex, heterogeneous systems: to be able to manage their complexity in a unified way, we need an infrastructure that ensures that our systems operate with  ...  Another dedicated type is fault-tolerant services. Since the applications of CPS are critical, fault-tolerant services have distinguished role and are treated with particular care.  ... 
arXiv:2108.12773v1 fatcat:go4u52tgdbfxzkrzh77gjv4dqu

Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components

Gunzert, Nagele
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99  
In this paper we describe the development and verification of software for an automotive Brake-by-Wire System. This is a new brake system without mechanical or hydraulic backup.  ...  The central control computer in this distributed system, called Brake-by-Wire Manager, is a redundant design in order to tolerate any single failure.  ...  Figure 1 shows the system structure of a fault-tolerant architecture for a Brake-by-Wire system with electromechanical brake actuators (EMB).  ... 
doi:10.1109/pdse.1999.779745 dblp:conf/pdse/GunzertN99 fatcat:unt2altoazfdblwyhdpa4i4m2i

Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems [chapter]

Linas Laibinis, Elena Troubitsyna, Sari Leppänen
2009 Lecture Notes in Computer Science  
To achieve this, correctness of software for such systems and system fault tolerance should be ensured.  ...  In particular, we focus on integration of fault tolerance mechanisms into the entire Lyra development flow.  ...  Moreover, to achieve system fault tolerance, we extended Lyra to integrate modelling of fault tolerance mechanisms into the entire development flow.  ... 
doi:10.1007/978-3-642-00867-2_7 fatcat:7d6g4ikdgncildmfuw2skurkdq

Handling Software Faults with Redundancy [chapter]

Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè
2009 Lecture Notes in Computer Science  
In this chapter, we focus on software techniques to handle software faults, and we survey several such techniques developed in the area of fault tolerance and more recently in the area of autonomic computing  ...  Software engineering methods can increase the dependability of software systems, and yet some faults escape even the most rigorous and methodical development process.  ...  Table 2 . 2 A taxonomy of redundancy for fault tolerance and self-managed systems Intention Type Adjudicator Faults N-version programming [9,29,30,31] deliberate code reactive implicit development  ... 
doi:10.1007/978-3-642-10248-6_7 fatcat:py277cbonvcypf6caujd7o5soe

Additional tracks

2013 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)  
His latest system, Isis2 helps developers create secure, strongly consistent and scalable cloud computing solutions.  ...  Software he developed operated the New York Stock Exchange for more than a decade without trading disruptions, and played central roles in the French Air Traffic Control System (now expanding into much  ...  His research interests include interactive environments for proof and program construction, as well as application of formal methods to modeling and development of fault tolerant and distributed software  ... 
doi:10.1109/dsnw.2013.6615502 fatcat:mghl4bhuwvhevhoi2tagyhq4y4

Development of Safety-Critical Reconfigurable Hardware with Esterel

Jerker Hammarberg, Simin Nadjm-Tehrani
2003 Electronical Notes in Theoretical Computer Science  
First, we illustrate a development process, using a language with formal semantics (Esterel) for design, formal verification of high-level design and automatic code generation down to VHDL.  ...  The set-up is then used to formally determine which (single or multiple) fault modes cause violation of the top-level safety-related property, much in the spirit of fault-tree analyses.  ...  In this paper we provide some evidence that results of the last decade of research in language design, formal verification and tool development are reaching maturity levels that make a serious case for  ... 
doi:10.1016/s1571-0661(04)80820-x fatcat:mdvtxkejg5fztjiimydkdikyfu

A modelling and simulation based process for dependable systems design

Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle
2007 Journal of Software and Systems Modeling  
In particular, the system is modelled using the Discrete EVent system Specification (DEVS) formalism, and then extended to incorporate fault tolerance mechanisms.  ...  The modularity of the DEVS formalism facilitates this extension. The simulation demonstrates that the employed fault tolerance techniques are effective.  ...  In addition, we will use the fault-tolerant models to synthesize appropriate software ports of the final application.  ... 
doi:10.1007/s10270-007-0050-3 fatcat:ilz4qdckgbannbvftjtynknxem

Safety-Oriented Design of Component Assemblies using Safety Interfaces

Jonas Elmqvist, Simin Nadjm-Tehrani
2007 Electronical Notes in Theoretical Computer Science  
The component model uses reactive modules as the formal notation.  ...  Specially, whether or not fault tolerance in components affects system properties, is not currently part of component interfaces.  ...  The authors would like to thank Marius Minea and Lars Grunske for comments on earlier drafts of this paper. We would also like to thank the anonymous reviewers for their valuable input.  ... 
doi:10.1016/j.entcs.2006.09.031 fatcat:sp75slepxjgsvphwobc4isuuhq

Goal-Based Requirement Engineering for Fault Tolerant Security-Critical Systems

Davoud Mougouei
2013 International Journal of Software Engineering and Its Applications  
To avoid security failure of the target system it is required to make the system flexible and tolerant in the presence of security faults.  ...  This approach eventually contributes to a fault tolerant model for security requirements of the target system.  ...  In a similar spirit, we use our goal development process to develop the fault model of the system with respect to the possible security faults.  ... 
doi:10.14257/ijseia.2013.7.5.01 fatcat:44nddav6f5gsjeiqnkzfklyfue
« Previous Showing results 1 — 15 out of 11,361 results