https://www.mdu.se/

mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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 (engelsk)Inngår i: Reliable Software Technologies–Ada-Europe 2012: Lecture Notes in Computer Science Volume 7308, Springer Berlin/Heidelberg, 2012, s. 207-220Kapittel i bok, del av antologi (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Springer Berlin/Heidelberg, 2012. s. 207-220
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7308
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-23833DOI: 10.1007/978-3-642-30598-6_15ISBN: 978-3-642-30597-9 (tryckt)OAI: oai:DiVA.org:mdh-23833DiVA, id: diva2:682431
Tilgjengelig fra: 2013-12-27 Laget: 2013-12-19 Sist oppdatert: 2014-01-20bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Person

Bate, Iain

Søk i DiVA

Av forfatter/redaktør
Bate, Iain

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 37 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf