Abstract
Due to the increasing complexity and diversity of requirements, embedded software has become much harder to design. For instance, since several applications demand safety properties, the correctness and timeliness verification is an issue to be concerned. Usually, complex embedded real-time systems rely on specialized operating system kernels. However, operating systems may introduce significant overheads in execution time as well as in memory requirement. Software synthesis might be an alternative approach to operating systems usage, since it can generate tailored code for satisfying functional, performance, and resource constraints, and automatically generate runtime support (scheduling, resource management, communication, etc) customized for each particular specification. An often neglected situation in software synthesis research is the dispatcher and timer interrupt handler overheads. This paper provides a formal approach, based on time Petri nets, for synthesizing a timely and predictable scheduled code considering dispatcher overheads.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Barreto, R. et al. (2005). EMBEDDED HARD REAL-TIME SOFTWARE SYNTHESIS CONSIDERING DISPATCHER OVERHEADS. In: Rettberg, A., Zanella, M.C., Rammig, F.J. (eds) From Specification to Embedded Systems Application. IFIP On-Line Library in Computer Science, vol 184. Springer, Boston, MA. https://doi.org/10.1007/11523277_8
Download citation
DOI: https://doi.org/10.1007/11523277_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-27557-4
Online ISBN: 978-0-387-27559-8
eBook Packages: Computer ScienceComputer Science (R0)