Concepedia

A framework for evaluating specification methods for reactive systems

Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, M.G. Staskauskas, James Von Olnhausen

1995 · 51 citations · 18 references

Open access

Concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsSystems DesignSystems ModelingDesign SpecificationModel CheckingModel ExecutionModel TransformationSpecification DevelopmentSpecification LanguagesReactive System ModelingReactive SystemsSpecification CheckingSpecification-based VerificationState-based Specification

Abstract

Numerous formal specification methods for reactive systems have been proposed in the literature.

References

18

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9

Safety analysis of timing properties in real-time systems

Farnam Jahanian, Aloysius K. Mok · IEEE Transactions on Software Engineering · 1986 · 631 citations

Engineering, Computer Engineering, Computer Systems +14

Requirements specification for process-control systems

Nancy G. Leveson, Mats P. E. Heimdahl, H. Hildreth et al. · IEEE Transactions on Software Engineering · 1994 · 556 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Modechart: a specification language for real-time systems

Farnam Jahanian, Aloysius K. Mok · IEEE Transactions on Software Engineering · 1994 · 212 citations

Engineering, Computer Engineering, Computer Science +15