The Community for Technology Leaders
RSS Icon
Subscribe
Prague, Czech Republic
Sept. 2, 1996 to Sept. 5, 1996
ISBN: 0-8186-7487-3
pp: 0077
S. Bradley , Dept. of Comput., Univ. of Northumbria, Newcastle, UK
W. Henderson , Dept. of Comput., Univ. of Northumbria, Newcastle, UK
D. Kendall , Dept. of Comput., Univ. of Northumbria, Newcastle, UK
A. Robson , Dept. of Comput., Univ. of Northumbria, Newcastle, UK
S. Hawkes , Dept. of Comput., Univ. of Northumbria, Newcastle, UK
ABSTRACT
Abstract: This paper tackles the problem of using formal methods for practical real-time system development and verification, and is based on a real example. Many formal methods for real-time systems have been proposed but this technique (AORTA) is one of the few to address the issue of how formal designs are to be implemented. Earlier papers on AORTA have been based on providing the formal semantics of the language, and on particular aspects of implementation or verification. This paper concentrates on setting AORTA within the development life cycle, and demonstrating that the approach can be adopted for non-trivial examples.
INDEX TERMS
real-time systems; real-time embedded systems; real-time system development; verification; real-time systems; AORTA; formal designs; development life cycle
CITATION
S. Bradley, W. Henderson, D. Kendall, A. Robson, S. Hawkes, "A Formal Design and Implementation Method for Real-Time Embedded Systems", EUROMICRO, 1996, EUROMICRO Conference, EUROMICRO Conference 1996, pp. 0077, doi:10.1109/EURMIC.1996.546368
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool