https://www.mdu.se/

mdu.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
Handling emergency mode switch for component-based systems---An extended report
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-1067-583X
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7235-6888
2014 (English)Report (Other academic)
Abstract [en]

Component-Based Software Engineering has been introduced as a technique for the development of complex systems. Software complexity can also be reduced by partitioning the system behavior into different modes. Such a multi-mode system is able to change its behavior at runtime by switching between different operational modes. When a multimode system is developed by reusable software components, a crucial issue is how to achieve a seamless composition of multi-mode components and also how to handle mode switch properly. This is the motivation for the Mode Switch Logic (MSL), supporting the development of component-based multi-mode systems by providing mechanisms for mode switch handling. In this report, MSL is extended and adapted to systems with emergency triggering of mode switches that must be handled with minimal delay. We propose an approach, called Immediate Handling with Buffering (IHB), to enable the responsive handling of such an emergency event in the presence of other concurrent non-emergency mode switch events. We present a model checking based verification of the IHB approach, and illustrate its benefits by a small example.

Place, publisher, year, edition, pages
Västerås, Sweden: Mälardalen Real-Time Research Centre, Mälardalen University , 2014.
Series
MRTC Reports, ISSN 1404-3041
Keywords [en]
component, mode switch, emergency
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-26779ISRN: MDH-MRTC-283/2014-1-SEOAI: oai:DiVA.org:mdh-26779DiVA, id: diva2:768612
Projects
ARROWS - Design Techniques for Adaptive Embedded SystemsAvailable from: 2014-12-04 Created: 2014-12-02 Last updated: 2014-12-04Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records

Yin, HangHansson, Hans

Search in DiVA

By author/editor
Yin, HangHansson, Hans
By organisation
Embedded Systems
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 98 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