Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems

Kumar, Pranav Srinivas; Karsai, Gábor

doi:10.1109/isorcw.2015.56

Cited by 11 publications

(9 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our prior work, which has been briefly described in Section 7, uses a Colored Petri Net-based (CPN) [22] analysis model to analyze the structural and behavioral properties. This work was originally presented in [23,24].…”

Section: Design-time Analysis Toolsmentioning

confidence: 99%

Achieving resilience in distributed software systems via self-reconfiguration

Pradhan

Dubey

Levendovszky

et al. 2016

Journal of Systems and Software

Self Cite

View full text Add to dashboard Cite

Improvements in mobile networking combined with the ubiquitous availability and adoption of low-cost development boards have enabled the vision of mobile platforms of Cyber-Physical Systems (CPS), such as fractionated spacecraft and UAV swarms. Computation and communication resources, sensors, and actuators that are shared among different applications characterize these systems. The cyber-physical nature of these systems means that physical environments can affect both the resource availability and software applications that depend on resource availability. While many application development and management challenges associated with such systems have been described in existing literature, resilient operation and execution have received less attention. This paper describes our work on improving runtime support for resilience in mobile CPS, with a special focus on our runtime infrastructure that provides autonomous resilience via selfreconfiguration. We also describe the interplay between this runtime infrastructure and our design-time tools, as the later is used to statically determine the resilience properties of the former. Finally, we present a use case study to demonstrate and evaluate our design-time resilience analysis and runtime self-reconfiguration infrastructure.

show abstract

Section: Design-time Analysis Toolsmentioning

confidence: 99%

Achieving resilience in distributed software systems via self-reconfiguration

Pradhan

Dubey

Levendovszky

et al. 2016

Journal of Systems and Software

Self Cite

View full text Add to dashboard Cite

show abstract

“…To enable developers to check their designs for such cyclic communications dependencies, component assemblies can be automatically analyzed to ensure that there will be no deadlocks or operation deadline violations. These analysis techniques and tools are outside the scope of this paper, and have been published in previous work [21][22][23]. Figure 2 shows the execution semantics of a component operation executed on the component's executor thread.…”

Section: Rosmod Component Execution Semanticsmentioning

confidence: 99%

“…Furthermore, this behavior of the component is dependent not just on the implementation (i.e., the software) of the component, but also the hardware on which the component runs (or to which it may be connected) and the other software components with which the component is communicating. To combat the complexities of these integration and reusability challenges, the ROSMOD component model has been developed from the start to be analyzable with respect to timing and resource requirements [21][22][23][24][25][26]. In this way, as the developer configures the properties of the component, e.g., periodicity of its timers, the composed system in which that component interacts with other components can be analyzed.…”

Section: Software Complexities and Component Interactionsmentioning

confidence: 99%

ROSMOD: A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS

et al. 2016

Self Cite

View full text Add to dashboard Cite

This paper presents the Robot Operating System Model-driven development tool suite, (ROSMOD) an integrated development environment for rapid prototyping component-based software for the Robot Operating System (ROS) middleware. ROSMOD is well suited for the design, development and deployment of large-scale distributed applications on embedded devices. We present the various features of ROSMOD including the modeling language, the graphical user interface, code generators, and deployment infrastructure. We demonstrate the utility of this tool with a real-world case study: an Autonomous Ground Support Equipment (AGSE) robot that was designed and prototyped using ROSMOD for the NASA Student Launch competition, 2014Launch competition, -2015

show abstract

“…This is one of our primary goals with the RCPS testbed. In previous work, we have shown our timing analysis methods [14] [15] for component-based distributed CPS. Using a generic I/O component for integration with physics simulation, we are working on modeling and analyzing the temporal behavior of software components while interacting with simulations.…”

Section: System Analysismentioning

confidence: 99%

A testbed to simulate and analyze resilient cyber-physical systems

Kumar

Emfinger

Karsai

2015

2015 International Symposium on Rapid System Prototyping (RSP)

Self Cite

View full text Add to dashboard Cite

This paper describes a testbed for development, deployment, testing, and analysis of Cyber-Physical Systems (CPS) applications. The testbed incorporates smart network hardware, allowing high-fidelity emulation of CPS network characteristics, and CPS simulation environments to enable high-frequency sensor reading, actuator control and physical environmental changes. We discuss the architecture of this testbed and present the types of experiments and applications which can be run to study hardware and software fault tolerance, software reconfiguration, and system stability characteristics in distributed real-time embedded systems. We also describe the scalability, limitations, and potential extensions to this testbed.

show abstract

Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems

Cited by 11 publications

References 33 publications

Achieving resilience in distributed software systems via self-reconfiguration

Achieving resilience in distributed software systems via self-reconfiguration

ROSMOD: A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS

A testbed to simulate and analyze resilient cyber-physical systems

Contact Info

Product

Resources

About