Abstract
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques to model both real-time tasks and to ensure determinism and dependability concerns when tasks are executed in parallel. By this approach we will show some formal aspects of our real-time task model and also how this result is used to ensure that the timeliness property and the sizing can be achieved on a safety critical real-time study case.
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.
References
Callison, H.R.: A time-sensitive object model for real-time systems. ACM Trans. on Software Engineering and Methodology, Vol. 4, n‡3 (1995) 287–317
David, V., Aussaguès, C., Cordonnier, C., Aji, M., Delcoigne, J.: OASIS: a new way to design safety critical applications. 21st IFAC/IFIP Workshop on Real-Time Programming, Gramado, Brazil (1996)
David, V., Aji, M., Delcoigne, J., Aussaguès, C., Cordonnier, C.: Le modèle de conception OASIS/YC pour les systèmes temps-réel complexes critiques. Real-Time &Embedded Systems, TEKNEA, Paris (1996)
Halang, W.A., Gumzej, R., Colnaric, M.: Measuring the performance of real-time systems. 22nd IFAC/IFIP Workshop on Real-Time Programming, Lyon, France (1997)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International (1985)
Kopetz, H.: The Time-Triggered approach to real-time systems design. Predictability Dependable Computing Systems (Randell,B., Laprie, J.-C., Kopetz,H., Littlewood, B.) (1995) 53–78
LeGuernic, P., Benveniste, A., Bournai, P., Gautier, T.: SIGNAL: a data-flow oriented language for signal processing. INRIA, Research Report-378 (1985)
Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, Vol. 20, n‡1 (1973) 46–61
Puschner, P.P., Schedl, A.V.: Computing maximum task execution times-a graph-based approach. Real-Time Systems, Vol. 13, n‡1 (1997) 67–92
Ramamritham, K.: Allocation and scheduling of complex periodic tasks. IEEE Proceedings of the ICDCS (1990) 108–115
Stankovic, J.A.: Misconceptions about real-time: a serious problem for next-generation systems. IEEE Computer, Vol. 21, n‡10 (1988) 10–19
Stankovic, J.A., Ramamritham, K.: What is predictability for real-time systems? Real-Time Systems, Vol. 2, n‡4 (1990) 247–254
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg Berlin Heidelberg
About this paper
Cite this paper
David, V., Delcoigne, J., Leret, E., Ourghanlian, A., Hilsenkopf, P., Paris, P. (1998). Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. In: Ehrenberger, W. (eds) Computer Safety, Reliability and Security. SAFECOMP 1998. Lecture Notes in Computer Science, vol 1516. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49646-7_4
Download citation
DOI: https://doi.org/10.1007/3-540-49646-7_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65110-9
Online ISBN: 978-3-540-49646-5
eBook Packages: Springer Book Archive