Article

Synchronous design and verification of critical embedded systems using SCADE and Esterel

Author:

Gérard BerryAuthors Info & Claims

FMICS'07: Proceedings of the 12th international conference on Formal methods for industrial critical systems

Page 2

Published: 01 July 2007 Publication History

Abstract

No abstract available.

Cited By

View all

Cheng ZTisi M(2018)Slicing ATL model transformations for scalable deductive verification and fault localizationInternational Journal on Software Tools for Technology Transfer (STTT)10.5555/3288063.328807820:6(645-663)Online publication date: 1-Nov-2018
https://dl.acm.org/doi/10.5555/3288063.3288078
Jiang YSong HYang YLiu HGu MGuan YSun JSha L(2018)Dependable Model-driven Development of CPSACM Transactions on Cyber-Physical Systems10.1145/30786233:1(1-31)Online publication date: 29-Aug-2018
https://dl.acm.org/doi/10.1145/3078623
Cheng ZMonahan RPower J(2018)Formalised EMFTVM bytecode language for sound verification of model transformationsSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0553-x17:4(1197-1225)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s10270-016-0553-x
Show More Cited By

Synchronous design and verification of critical embedded systems using SCADE and Esterel
1. Computer systems organization

Recommendations

Multiclock Esterel: A Reactive Framework for Asynchronous Design
IPDPS '00: Proceedings of the 14th International Symposium on Parallel and Distributed Processing

In this paper, we propose a new paradigm called the Multiclock-Esterel based on the synchronous reactive language of Esterel used for reactive systems/synchronous circuit design. We show that the Multiclock Esterel paradigm provides a general framework ...
On the formal verification of systems of synchronous software components
SAFECOMP'12: Proceedings of the 31st international conference on Computer Safety, Reliability, and Security

Large asynchronous systems composed from synchronous components (so called GALS--globally asynchronous, locally synchronous--systems) pose a challenge to formal verification. We present an approach which abstracts components with contracts capturing the ...
A Verification Approach for GALS Integration of Synchronous Components

Starting with modules described in Signal synchronous programming language, we present an approach to verification of GALS systems. Since asynchronous parts of a GALS system can not be described in Signal, we use a mixture of synchronous descriptions in ...

Comments

Information & Contributors

Information

Published In

FMICS'07: Proceedings of the 12th international conference on Formal methods for industrial critical systems

July 2007

251 pages

ISBN:3540797068

Editors:
Stefan Leue
University of Konstanz, Department of Computer and Information Science, Konstanz, Germany
,
Pedro Merino
University of Málaga, Department of Computer Science, Málaga, Spain

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 July 2007

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
3
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cheng ZTisi M(2018)Slicing ATL model transformations for scalable deductive verification and fault localizationInternational Journal on Software Tools for Technology Transfer (STTT)10.5555/3288063.328807820:6(645-663)Online publication date: 1-Nov-2018
https://dl.acm.org/doi/10.5555/3288063.3288078
Jiang YSong HYang YLiu HGu MGuan YSun JSha L(2018)Dependable Model-driven Development of CPSACM Transactions on Cyber-Physical Systems10.1145/30786233:1(1-31)Online publication date: 29-Aug-2018
https://dl.acm.org/doi/10.1145/3078623
Cheng ZMonahan RPower J(2018)Formalised EMFTVM bytecode language for sound verification of model transformationsSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0553-x17:4(1197-1225)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s10270-016-0553-x
Cheng ZTisi M(2017)A Deductive Approach for Fault Localization in ATL Model TransformationsProceedings of the 20th International Conference on Fundamental Approaches to Software Engineering - Volume 1020210.1007/978-3-662-54494-5_17(300-317)Online publication date: 22-Apr-2017
https://dl.acm.org/doi/10.1007/978-3-662-54494-5_17
Méry DSingh NTrong GHluchy LQuyet TCastelli EDuc KChi MTran V(2012)Critical systems development methodology using formal techniquesProceedings of the 3rd Symposium on Information and Communication Technology10.1145/2350716.2350720(3-12)Online publication date: 23-Aug-2012
https://dl.acm.org/doi/10.1145/2350716.2350720
Edmunds ARezazadeh AButler M(2012)Formal modelling for ada implementationsProceedings of the 17th Ada-Europe international conference on Reliable Software Technologies10.1007/978-3-642-30598-6_9(119-132)Online publication date: 11-Jun-2012
https://dl.acm.org/doi/10.1007/978-3-642-30598-6_9
Woodcock JLarsen PBicarregui JFitzgerald J(2009)Formal methodsACM Computing Surveys10.1145/1592434.159243641:4(1-36)Online publication date: 9-Oct-2009
https://dl.acm.org/doi/10.1145/1592434.1592436

Abstract

Cited By

Recommendations

Multiclock Esterel: A Reactive Framework for Asynchronous Design

On the formal verification of systems of synchronous software components

A Verification Approach for GALS Integration of Synchronous Components

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations