Timing constraints: Theory meets practice
2012 (English)In: Lecture Notes in Computer Science, vol. 7610, Springer, 2012, no PART 2, p. 78-79Chapter in book (Refereed)
Abstract [en]
Many embedded systems must satisfy timing requirements, which describe how these systems should behave with respect to timing. Such requirements must be dealt with throughout the system development process: from their initial specification, expressed at an abstract level, through the increasingly concrete layers, to the final implementation level. There is a growing awareness that this process needs support from languages, tools, and methodologies.
Place, publisher, year, edition, pages
Springer, 2012. no PART 2, p. 78-79
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7610
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 7610
Keywords [en]
Abstract levels, Concrete layer, Process needs, System development process, Timing constraints, Timing requirements, Artificial intelligence, Embedded systems
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-17655DOI: 10.1007/978-3-642-34032-1_11Scopus ID: 2-s2.0-84868282389ISBN: 9783642340314 (print)OAI: oai:DiVA.org:mdh-17655DiVA, id: diva2:587649
Note
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012, 15 October 2012 through 18 October 2012, Heraklion, Crete
2013-01-142013-01-142016-05-17Bibliographically approved