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
Compositionality and CPS from a platform perspective
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-6132-7945
2011 (English)In: Proceedings - 1st International Workshop on Cyber-Physical Systems, Networks, and Applications, CPSNA 2011, Workshop Held During RTCSA 2011, 2011, 57-60 p.Conference paper, Published paper (Refereed)
Abstract [en]

Cyber Physical Systems (CPS) comprise the integration of embedded computer systems and the physical processes that these computer systems interact with. Examples of such systems stretch from small embedded devices, e.g., intelligent sensor systems, to larger and often complex industrial systems, e.g., industrial automation systems. These systems are not only subject to functional requirements, but also non-functional requirements such as timing, resource usage, and reliability. CPS development (including software development) is substantially facilitated if the system parts can be developed and verified in isolation, and if the correctness of the system can be inferred from the correctness of its parts. Such modular and compositional design of software systems has for a long time been considered the holy-grail of system design, and is unfortunately only possible in selected scenarios. This paper covers one such scenario: using hierarchical runtime mechanisms in the platform to enable predictable resource usage and temporal isolation of CPS software. Our overall goal is to develop cost efficient mechanisms that are applicable for a wide range of systems. © 2011 IEEE.

Place, publisher, year, edition, pages
2011. 57-60 p.
Keyword [en]
Complex industrial systems, Compositionality, Cost-efficient, Cyber-physical systems, Embedded Computer Systems, Embedded device, Functional requirement, Industrial automation system, Intelligent sensors, Non-functional requirements, Physical process, Resource usage, Runtimes, Software systems, Temporal isolation, Computer software, Software design, Systems analysis, Embedded systems
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-15983DOI: 10.1109/RTCSA.2011.68Scopus ID: 2-s2.0-84855522064ISBN: 9780769545028 (print)OAI: oai:DiVA.org:mdh-15983DiVA: diva2:581557
Conference
1st International Workshop on Cyber-Physical Systems, Networks, and Applications, CPSNA 2011, Co-located with the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011, 28 August 2011 through 31 August 2011, Toyama
Note

Sponsors: IEEE Computer Society

Available from: 2013-01-02 Created: 2012-10-29 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Nolte, Thomas
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

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