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
Efficient constraint handling during designing reliable automotive real-time systems
Virtual Vehicle, Graz.
University of York.ORCID iD: 0000-0003-2415-8219
Graz University of Technology.
2012 (English)In: Reliable Software Technologies–Ada-Europe 2012: Lecture Notes in Computer Science Volume 7308, Springer Berlin/Heidelberg, 2012, 207-220 p.Chapter in book (Other academic)
Abstract [en]

In modern embedded systems, e.g. avionics and automotive, it is not unusual for there to be between 40 and 100 processors with a great deal of the software having hard real-time requirements and constraints over how, when and where they execute. The requirements and constraints are essential to the overall systems dependability and safety (e.g. to ensure replicas execute on different hardware). This leads to a complex design space exploration (DSE) problem which cannot be practically solved manually especially if the schedule is to be maintained.

In this paper it is shown that dealing with the constraints using a conventional state of the art “System Configuration Algorithm” is less efficient, less effective and does not scale well. This issue can be improved by performing constraint pre-processing as well as constraint encoding. It is shown that our approach can handle typical industrial requirements that come from the automotive industry’s AUTOSAR standard in an efficient way.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2012. 207-220 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7308
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-23833DOI: 10.1007/978-3-642-30598-6_15ISBN: 978-3-642-30597-9 (print)OAI: oai:DiVA.org:mdh-23833DiVA: diva2:682431
Available from: 2013-12-27 Created: 2013-12-19 Last updated: 2014-01-20Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Bate, Iain
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 10 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