Component-based design of cyber-physical applications with safety-critical requirements

A Masrur, M Kit, V Matěna, T Bureš, W Hardt - Microprocessors and …, 2016 - Elsevier
Cyber-physical systems typically involve large numbers of mobile autonomous devices that
closely interact with each other and their environment. Standard design and development …

Formal semantics of the ProCom real-time component model

A Vulgarakis, J Suryadevara, J Carlson… - 2009 35th Euromicro …, 2009 - ieeexplore.ieee.org
ProCom is a new component model for real-time and embedded systems, targeting the
domains of vehicular and telecommunication systems. In this paper, we describe how the …

Incremental construction for scalable component-based systems

T Rana, A Baz - Sensors, 2020 - mdpi.com
The availability of smart and intelligent sensors has changed the monitoring, control and
maintenance of a conventional and advanced cyber-physical system used in public or …

A graph based multimodal geospatial interpolation framework

M Tang, P Agrawal, F Nie… - … on Multimedia and …, 2016 - ieeexplore.ieee.org
Recent multimedia research has increasingly focused on large scale multimodal data from
disparate geospatial sensors. In addition to the volume of the data, the diversity and …

Supporting real-time features in a hierarchical component system

P Hošek - 2010 - dspace.cuni.cz
The thesis focuses on an extension of the SOFA 2 component system allowing development
of high-integrity real-time embedded systems using the component-based development …

A data-entity approach for component-based real-time embedded systems development

A Hjertström, D Nyström… - 2009 IEEE Conference on …, 2009 - ieeexplore.ieee.org
In this paper the data-entity approach for efficient design-time management of run-time data
in component-based real-time embedded systems is presented. The approach formalizes …

Towards guidelines for a development process for component-based embedded systems

R Land, J Carlson, S Larsson, I Crnković - … , Seoul, Korea, June 29-July 2 …, 2009 - Springer
Software is more and more built from pre-existing components. This is true also for the
embedded software domain, and there is a need to consider how development processes …

Using temporal isolation to achieve predictable integration of real-time components

R Inam, J Mäki-Turja, J Carlson… - … (ECRTS'10), July 6-9, 2010 …, 2010 - diva-portal.org
We present the concept of a virtual node as means to achieve predictable integration of
software components with real-time requirements. The virtual node is based on the …

[PDF][PDF] Virtual Node-To Achieve Temporal Isolation and Predictable Integration of Real-Time Components

R Inam - GSTF Journal on Computing (JoC), 2014 - ipr.mdh.se
We present an approach of two-level deployment process for component models used in
distributed real-time embedded systems to achieve predictable integration of real-time …

Pattern-driven support for designing component-based architectural models

J Suryadevara, C Seceleanu… - 2011 18th IEEE …, 2011 - ieeexplore.ieee.org
The development of embedded systems often requires the use of various models such as
requirements specification, architectural (component-based), and deployment models …