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
Scheduling Timed Modules for Correct Resource Sharing
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-2870-2680
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-4040-3480
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0002-7235-6888
2008 (English)In: Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008, 2008, p. 102-111Conference paper, Published paper (Refereed)
Abstract [en]

Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized

parallel executions may lead to hazard situations caused by e.g., race conditions. To be able to detect such

faulty system behaviors before implementation, we introduce a unified model of resource constrained, scheduled

real-time system descriptions, in Alur's and Henzinger's rigorous framework of timed reactive modules. We take a

component-based design perspective and construct the real-time system model, by refinement, as a composition of real-time periodic preemptible tasks with encoded functionality,

and a fixed-priority scheduler, all modeled as timed modules.

For the model, we express the notions of race condition and redundant locking, formally, as invariance properties

that can be verified by model-checking.

Place, publisher, year, edition, pages
2008. p. 102-111
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-7101DOI: 10.1109/ICST.2008.70Scopus ID: 2-s2.0-50649087985ISBN: 9780769531274 (print)OAI: oai:DiVA.org:mdh-7101DiVA, id: diva2:237111
Conference
1st International Conference on Software Testing, Verification and Validation, ICST 2008; Lillehammer; Norway; 9 April 2008 through 11 April 2008
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Seceleanu, CristinaPettersson, PaulHansson, Hans

Search in DiVA

By author/editor
Seceleanu, CristinaPettersson, PaulHansson, Hans
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 30 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