Component-based design of cyber-physical applications with safety-critical requirements
Cyber-physical systems typically involve large numbers of mobile autonomous devices that
closely interact with each other and their environment. Standard design and development …
closely interact with each other and their environment. Standard design and development …
Formal semantics of the ProCom real-time component model
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 …
domains of vehicular and telecommunication systems. In this paper, we describe how the …
Incremental construction for scalable component-based systems
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 …
maintenance of a conventional and advanced cyber-physical system used in public or …
A graph based multimodal geospatial interpolation framework
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 …
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 …
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 …
in component-based real-time embedded systems is presented. The approach formalizes …
Towards guidelines for a development process for component-based embedded systems
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 …
embedded software domain, and there is a need to consider how development processes …
Using temporal isolation to achieve predictable integration of real-time components
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 …
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 …
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 …
requirements specification, architectural (component-based), and deployment models …