DocumentCode
3231307
Title
A Software Architecture For Simplifying Verification of System Timing Properties
Author
Xu, Jia
Author_Institution
York Univ., Toronto
Volume
3
fYear
2007
fDate
July 30 2007-Aug. 1 2007
Firstpage
858
Lastpage
863
Abstract
When real-time embedded systems are constructed using conventional software architectures, it is often practically impossible to verify their timing properties. This paper describes a software architecture based on pre-run-time scheduling that greatly simplifies the task of verifying a real-time embedded system´s timing properties.
Keywords
embedded systems; formal verification; scheduling; software architecture; preruntime scheduling; realtime embedded systems; software architecture; system timing property verification; Aerospace control; Application software; Embedded software; Embedded system; Operating systems; Protocols; Real time systems; Runtime; Software architecture; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on
Conference_Location
Qingdao
Print_ISBN
978-0-7695-2909-7
Type
conf
DOI
10.1109/SNPD.2007.539
Filename
4287969
Link To Document