mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Timing constraints: Theory meets practice
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0001-5297-6548
Luleå University of Technology.
Institute of Computer Network and Engineering, TU Braunschweig, Germany.
2012 (English)In: Lecture Notes in Computer Science, vol. 7610, Springer, 2012, no PART 2, 78-79 p.Chapter 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, 78-79 p.
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
Keyword [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: 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

Available from: 2013-01-14 Created: 2013-01-14 Last updated: 2016-05-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Lisper, Björn
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 40 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf