Designing Safe, Reliable Systems Using Scade

Abdulla, Parosh Aziz; Deneux, Johann; Stålmarck, Gunnar; Agren, Herman; Åkerlund, Ove

doi:10.1007/11925040_8

Cited by 63 publications

(41 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The SCADE suite [9], a model-based development environment for critical applications, features a graphical interface to design models, a verifier and can generate code. Models are created using a synchronous data flow programming language called Lustre.…”

Section: Discussionmentioning

confidence: 99%

A Toolchain for Home Automation Controller Development

Dalsgaard

Guilly

Middelhede

et al. 2013

2013 39th Euromicro Conference on Software Engineering and Advanced Applications

View full text Add to dashboard Cite

Abstract-Home Automation systems provide a large number of devices to control diverse appliances. Taking advantage of this diversity to create efficient and intelligent environments requires well designed, validated, and implemented controllers. However, designing and deploying such controllers is a complex and error prone process. This paper presents a toolchain that transforms a design in the form of communicating state machines to an executable controller that interfaces to appliances through a service oriented middleware. Design and validation is supported by integrated model checking and simulation facilities. This is extendable to controller synthesis. This toolchain is implemented, and we provide different examples to show its usability.

show abstract

Section: Discussionmentioning

confidence: 99%

A Toolchain for Home Automation Controller Development

Dalsgaard

Guilly

Middelhede

et al. 2013

2013 39th Euromicro Conference on Software Engineering and Advanced Applications

View full text Add to dashboard Cite

show abstract

“…Extensive simulation of Stateflow diagrams, automatic code generation from the diagrams, and back-to-back model/code testing are employed in the process. When the process was already established, GETS decided to perform a systematic experimentation with formal verification by means of Simulink Design Verifier, a test generation and property proving engine based on Prover Technology [1], that uses a proprietary algorithm based on bounded model checking with SAT-solvers.…”

Section: Model Checking Within Model Based Designmentioning

confidence: 99%

On the Adoption of Model Checking in Safety-Related Software Industry

Fantechi

Gnesi

2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In the last fifteen years, model checking has been applied successfully in the design and verification of many safety related software systems. However, it is not yet routinely adopted in the industry of safety-critical systems. In this paper we introduce the model checking technique and its relations to safety; then we survey the sensible areas of research related to the current and potential industrial application of this technique, exploring the current trends, that in our opinion will bring to a wider adoption of model checking in the next years.

show abstract

“…Such dependencies are characterized in terms of failure mode propagation leading to an interesting hybrid between the FI and FLM approaches. [1,8,26] Hybrid Approach e.g. Software Deviation Analysis [28] Finally, it is important to note that we have intentionally excluded the Error Modeling Annex of AADL (previously mentioned in section 2) from the classification.…”

Section: Engineering Semantics Of Component Interfacesmentioning

confidence: 99%

Model-based safety assessment: Review of the discipline and its challenges

Lisagor

Kelly

Niu

2011

The Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety

View full text Add to dashboard Cite

Abstract-Since its emergence in 1990s, Model-Based Safety Assessment (MBSA) has enjoyed significant interest from both academia and industry. The last decade has seen not only the development of a number of methods, techniques and tools, but also the gradual adoption of MBSA techniques by industry and its acceptance by regulators. However, the field of MBSA encompasses a large number of fundamentally dissimilar techniques. This paper presents a simple classification schema for MBSA techniques based on two criteria -provenance of the model and engineering semantics of component dependencies captured by the model. The classification organizes the existing techniques into a number of coherent families. Applicability, limitations and challenges of most prominent families of MBSA techniques are presented, and some of the common challenges faced by MBSA discipline are discussed.

show abstract

Designing Safe, Reliable Systems Using Scade

Cited by 63 publications

References 17 publications

A Toolchain for Home Automation Controller Development

A Toolchain for Home Automation Controller Development

On the Adoption of Model Checking in Safety-Related Software Industry

Model-based safety assessment: Review of the discipline and its challenges

Contact Info

Product

Resources

About