Enabling component-based design for embedded real-time software
2009 (English)In: Journal of Computers, ISSN 1796-203X, E-ISSN 1796-203X, Vol. 4, no 12, 1309-1321 p.Article in journal (Refereed) Published
The increasing complexity of embedded software calls for a new, more efficient design approach. A natural choice is to use well-established component-based design; however, its adoption to design of embedded software has been slow and riddled with difficulties. It can be argued that these problems are due to the following peculiarities of embedded systems. Firstly, the tight integration between hardware and software, typical for embedded systems, makes it virtually impossible to model and implement software separately from hardware. Secondly, it is difficult to express timing requirements, an intrinsic part of functionality of many embedded systems, in dataflow abstractions traditionally used in component-based design. We propose to overcome these difficulties by introducing a uniform, consistent modeling of both hardware and software and by integrating timing requirements into the model. We present a modeling framework based on the notions of reactive objects and time-constrained reactions, which enables component-based design of embedded real-time systems. Within this framework, functionality of both hardware and software components is defined in terms of reactions to discrete external events, and timing requirements are specified for each reaction relative to the event that triggered it. We also present a detailed software design methodology for embedded real-time systems based on our modeling framework.
Place, publisher, year, edition, pages
2009. Vol. 4, no 12, 1309-1321 p.
Research subject Industrial Electronics; Embedded System; Dependable Communication and Computation Systems
IdentifiersURN: urn:nbn:se:ltu:diva-2739DOI: 10.4304/jcp.4.12.1309-1321Local ID: 06d60d80-0b0f-11de-9d3e-000ea68e967bOAI: oai:DiVA.org:ltu-2739DiVA: diva2:975592
Validerad; 2009; 20090307 (jimmie)2016-09-292016-09-29Bibliographically approved