Abstract
Methods for complex and reactive systems engineering must produce specifications which must be behaviorally expressive and rigorous as well as intuitive and well structured. This paper presents an approach (supported by an environment called VALID) which allows specification, and system models generation. Models are fully executable and enabling full code synthesis. Valid code generation is obtained by vertical refinement or formal transformations which guarantee its correctness and validity.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35390-6_58
Chapter PDF
Similar content being viewed by others
Keywords
References
ATTOUI A. and SCHNEIDER M. (1996) “A Formal Approach for the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic”,Real-Time Systems Journal, Vol 10, Ni 1, January.
ATTOUI A. (1997), “An Environment Based on Rewriting Logic for Parallel Systems Formal Specification and Prototyping”, Journal of Systems Architecture, Vol 44.
ATTOUI A.,HASBANI A. (1997a), “Reactive Systems Developing by FormalSpecifications Transformation”,8th International Conference and Workshop on
Database and Expert Systems Applications, September 1–5,Toulouse.
JAHANIAN F. and STUART D.A. (1988), “ A method for verging properties of Modechart specifications”, IEEE Real-Time Systems Symposium, Huntsville, Alabama, December.
LIGHTFOOT D. (1991) “Formal Specification Using Z”. The Macmillan Press.
HABRIAL H. (1993), “Introduction ” la specification“, Editions Masson, Paris.
HAREL D. (1987), “Statecharts: a visual formalism for complex systems”,Science of Computer Programming, Vol. 8, NI3, June.
HAREL D. and Gery Ecran (1997), “Executable Object Modeling with Statecharts”,Computer, Vol. 30, N17, July.
MESEGUER J. (1990)“A Logical Theory of Concurrent Objects”. in Proceedings Concur’90 Conference, Springer Verlag, Amsterdam, August.
VIGDER M. (1991), “Using VDM within Object Oriented Framework”. in Proceedings VDM91 Formal Software Development Methods, Noordwijkerhout, the Netherlands, 21–25 Oct.
VIGDER M. (1991) “Using LOTOS in a Design Environment”. in Proceedings FORTE’91, Sydney, 12–22, Nov.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Attoui, A. (1998). An Approach for Real-Time Applications Engineering. In: Camarinha-Matos, L.M., Afsarmanesh, H., Marik, V. (eds) Intelligent Systems for Manufacturing. BASYS 1998. IFIP — The International Federation for Information Processing, vol 1. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35390-6_32
Download citation
DOI: https://doi.org/10.1007/978-0-387-35390-6_32
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5547-3
Online ISBN: 978-0-387-35390-6
eBook Packages: Springer Book Archive