A multicore approach to model-based analysis and design of Cyber-Physical Systems

Kanduri, Anil; Rahmani, Amir-Mohammad; Liljeberg, Pasi; Wan, Kaiyu; Man, Ka Lok; Plosila, Juha

doi:10.1109/isocc.2013.6864027

Cited by 7 publications

(2 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other related works [18] emphasize the theory of model transformations and the incorporation of suitable models of computation, however, by often ignoring schedulability aspects. Model-based System-Engineering environments like Ptolemy II and PeaCE support a plethora of models of computation as a means for the refinement-based design of (multi-core) real-time embedded systems [8,12,4]. To the best of our knowledge, this work presents the first model-based approach grounded on the principles of timing-aware rigorous design [2] and task schedulability on multiple cores.…”

Section: Related Model-based Approaches For Real-time Embedded Systemsmentioning

confidence: 99%

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine

Gioulekas

Poplavko

Katsaros

et al. 2018

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simulation or other means. The analysis results are then used for modifying the system's design, so that the expected properties are satisfied. A rigorous model-based design flow differs in that it aims at a system implementation derived from high-level models by applying a sequence of semantics-preserving transformations. Properties established at any design step are preserved throughout the subsequent steps including the executable implementation. We introduce such a design flow using a process network model of computation for application design at a high level, which combines streaming and reactive control processing with task parallelism. The schedulability of the so-called FPPNs (Fixed Priority Process Networks) is well-studied and various solutions have been presented. This article focuses on the design flow's steps for deriving executable implementations on the BIP (Behavior -Interaction -Priority) runtime environment. FPPNs are designed using the TASTE toolset, a convenient architecture description interface. In this way, the developers do not program explicitly low-level real-time OS services and the schedulability properties are guaranteed throughout the design steps by construction. The approach has been validated on the design of a real spacecraft on-board application that has been scheduled for execution on an industrial multicore platform.

show abstract

Section: Related Model-based Approaches For Real-time Embedded Systemsmentioning

confidence: 99%

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine

Gioulekas

Poplavko

Katsaros

et al. 2018

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…Cyber-physical systems (CPS) are in contrast to traditional embedded systems which deal with stand-alone devices (Kanduri et al, 2013). Embedded systems can be viewed as a pre-cursor generation of cyber-physical systems which can be found in various fields ranging from medicine to transportation systems.…”

Section: Cyber-physical Systems and Next-generation Internet As Enablmentioning

confidence: 99%

New perspectives for the future interoperable enterprise systems

Panetto

Zdravković

Jardim-Goncalves

et al. 2016

Computers in Industry

110

View full text Add to dashboard Cite

The rapid changes in today's socioeconomic and technological environment in which the enterprises operate necessitate the identification of new requirements that address both theoretical and practical aspects of the Enterprise Information Systems (EIS). Such an evolving environment contributes to both the process and the system complexity which cannot be handled by the traditional architectures. The constant pressure of requirements for more data, more collaboration and more flexibility motivates us to discuss about the concept of Next Generation EIS (NG EIS) which is federated, omnipresent, model-driven, open, reconfigurable and aware. All these properties imply that the future enterprise system is inherently interoperable. This position paper presents the discussion that spans several research challenges of future interoperable enterprise systems, specialized from the existing general research priorities and directions of IFAC Technical Committee 5.3 1 , namely: context-aware systems, semantic interoperability, cyber-physical systems, cloud-based systems and interoperability assessment.

show abstract