http://iet.metastore.ingenta.com
1887

Model-compilation challenges for cyber-physical systems

Model-compilation challenges for cyber-physical systems

For access to this article, please select a purchase option:

Buy chapter PDF
£10.00
(plus tax if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Enhanced Living Environments: From models to technologies — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

There are several “disconnects”which need to be addressed to provide effective means for engineering cyber-physical systems (CPS). One of them is how to construct an optimized application starting from high-level specifications taking into account exacerbated interactions with the physical environment and in the same time addressing new paradigms like mixed criticality, and distributed multi/many-cores platforms. We introduce in this chapter a new methodology called model-compilation for CPS. This methodology introduces new concepts and process that can be seen as a specification that tool editors and CPS application developers can integrate (instantiate) in their tool chain or development process.

Chapter Contents:

  • Abstract
  • 11.1 Introduction
  • 11.2 CPS challenges
  • 11.3 Model-compilation methodology and approach
  • 11.3.1 Front-end: from multiple heterogeneous high-level models
  • 11.3.1.1 SysArch: systems architecture model
  • 11.3.1.2 SimModel: the simulation model
  • 11.3.1.3 PfArch: the platform architecture
  • 11.3.2 Middle-end: model-compilation into SwArch
  • 11.3.2.1 SwArch: software architecture intermediate representation
  • 11.3.3 Back-end: transformation into concrete target platforms
  • 11.3.4 Design iterations
  • 11.4 Model-compilation methodology assessment
  • 11.4.1 Applicability of model-compilation approach
  • 11.4.2 Productivity enhancements
  • 11.5 Related works
  • 11.5.1 Model-based methodologies for safety and timing
  • 11.5.2 Model-compilation
  • 11.5.3 Physical modelling
  • 11.6 Conclusion
  • References
  • Biographies

Inspec keywords: software tools; program compilers; formal specification; cyber-physical systems; multiprocessing systems

Other keywords: CPS application developers; development process; distributed multi/many-cores platforms; tool chain; optimized application; high-level specifications; CPS model-compilation; cyber-physical systems; model-compilation

Subjects: Software engineering techniques; Programming support; Compilers, interpreters and other processors; Formal methods

Preview this chapter:
Zoom in
Zoomout

Model-compilation challenges for cyber-physical systems, Page 1 of 2

| /docserver/preview/fulltext/books/he/pbhe010e/PBHE010E_ch11-1.gif /docserver/preview/fulltext/books/he/pbhe010e/PBHE010E_ch11-2.gif

Related content

content/books/10.1049/pbhe010e_ch11
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address