Abstract
This last chapter does consider two main points :
-
1)
Are formal methods an appropriate answer to model safety critical distributed systems?
-
2)
What should be a right development process for the development of such critical systems?
As editors, we are of course convinced that formal methods are the only way to design and develop safety critical distributed systems. We not suggest any new notations, nor new processes.
We claim that, instead of reinventing the wheel, it is possible to take advantage of current notations, by mixing them carefully, that means providing right notations for specifying right properties. In other words we recommend to start from semi formal notations that must be used in coordination with some dedicated ones all over the development phases.
Moreover we believe that the chosen process must fit the capabilities of the development team. This second consideration is certainly the most important by product of the Dagsthul seminar.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Kluwer Academic Publishers
About this chapter
Cite this chapter
Kordon, F., Lemoine, M. (2004). Conclusions. In: Kordon, F., Lemoine, M. (eds) Formal Methods for Embedded Distributed Systems. Springer, Boston, MA. https://doi.org/10.1007/1-4020-7997-4_8
Download citation
DOI: https://doi.org/10.1007/1-4020-7997-4_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7996-2
Online ISBN: 978-1-4020-7997-9
eBook Packages: Springer Book Archive