Title :
Monitoring embedded software timing properties with an SoC-resident monitor
Author :
Heffernan, D. ; Shaheen, S. ; Watterson, C.
Author_Institution :
CTVR, Univ. of Limerick, Limerick
fDate :
4/1/2009 12:00:00 AM
Abstract :
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be adhered to. Functional timing requirements need to interact properly with performance timing requirements. A novel runtime monitor that can check for proper timing behaviour of software, in the actual implementation environment, is presented. The monitor can be synthesised from the software-s timing requirements specification and instantiated in the programmable digital logic of a system on chip (SoC)-based device. Since the monitor is synthesised from the program-s requirements, new monitors can be automatically generated for new programs. Since the SoC-based monitor is deeply embedded, it can operate at the full processor speed and will have access to the internal registers of the processing system. A low gate count, non-invasive monitor is achievable. A case study example, based on a design for an electronic automotive gear controller system, is presented. The study shows that the monitor is capable of detecting program timing violations, in the implementation environment, even though the software design had been properly verified against stated requirements. The monitor scheme can be used as a supplementary test solution or the monitor can be built into a product for lifetime monitoring of timing behaviour, so as to enhance the product-s reliability.
Keywords :
embedded systems; formal specification; safety-critical software; software performance evaluation; system monitoring; system-on-chip; SoC-resident monitor; embedded software timing property monitoring; functional timing requirement; hard real-time system; internal register; performance timing requirement; programmable digital logic; runtime monitoring; safety-critical software application; software timing requirement specification;
Journal_Title :
Software, IET
DOI :
10.1049/iet-sen.2008.0040