ProMARTES: Accurate network and computation delay prediction for component-based distributed systems

Triantafyllidis, Konstantinos; Aslam, Waqar; Bondarev, Y Egor; Lukkien, Johan J.

doi:10.1016/j.jss.2016.03.068

Cited by 3 publications

(3 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are many approaches that try to formalise the design space in order to automatically perform architecture optimisation: Terzimehic et al [29] propose Satisfiability Modulo Theories (SMT) for formulating constraints and objectives derived from hardware and software annotations. ProMARTES [30] is an approach that combines profiling, analysis and simulation for architecture performance optimisation using Genetic Algorithms (GAs). Eder et al [9] use a dedicated domainspecific modelling language to formulate memory, safety, cost, energy and bandwidth constraints for the mapping/distribution problem, i.e.…”

Section: Related Workmentioning

confidence: 99%

Automating integration under emergent constraints for embedded systems

Schlatow

Schmidt

Ernst

2021

SICS Softw.-Inensiv. Cyber-Phys. Syst.

View full text Add to dashboard Cite

As embedded applications are subject to non-functional requirements (latency, safety, reliability, etc.) they require special care when it comes to providing assurances. Traditionally, these systems are quite static in their software and hardware composition. However, there is an increasing interest in enabling adaptivity and autonomy in embedded systems that cannot be satisfied with preprogrammed adaptations any more. Instead, it requires automated software composition in conjunction with model-based analyses that must adhere to requirements and constraints from various viewpoints. A major challenge in this matter is that embedded systems are subject to emergent constraints which are affected by inter-dependent properties resulting from the software composition and platform configuration. As these properties typically require an in-depth evaluation by complex analyses, a holistic formulation of parameters and their constraints is not applicable. We present a compositional framework for model-based integration of component-based embedded systems. The framework provides a structured approach to perform operations on a cross-layer model for model enrichment, synthesis and analysis. It thereby provides the overarching mechanisms to combine existing models, analyses and reasoning. Furthermore, it automates integration decisions and enables an iterative exploration of feasible system compositions. We demonstrate the applicability of this framework on a case study of a stereo-vision robot that uses a component-based operating system.

show abstract

Section: Related Workmentioning

confidence: 99%

Automating integration under emergent constraints for embedded systems

Schlatow

Schmidt

Ernst

2021

SICS Softw.-Inensiv. Cyber-Phys. Syst.

View full text Add to dashboard Cite

show abstract

“…As such robotic applications have strict requirements regarding the utilized operating system in matters of safety and reliability, the microkernel based Genode OS 7 enforcing a strong isolation between software components is used for the adaptable parts of this application. Genode OS organizes the adaptable parts as a tree of processes, where child processes are created out of the resources of their respective parent.…”

Section: Applicationmentioning

confidence: 99%

“…There are many approaches that try to model the design space in order to automatically perform architecture optimization: Terzimehic et al [6] propose Satisfiability Modulo Theories (SMT) for formulating constraints and objectives derived from hardware and software annotations. ProMARTES [7] is an approach that combines profiling, analysis and simulation for architecture performance optimization using Genetic Algorithms (GAs). Eder et al [8] use a dedicated domain-specific modeling language to formulate memory, safety, cost, energy and bandwidth constraints for the mapping problem, i.e.…”

Section: State-of-the-art and Related Workmentioning

confidence: 99%

Demonstrating Controlled Change for Autonomous Space Vehicles

Dorflinger

Albers

Fiethe

et al. 2019

2019 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)

View full text Add to dashboard Cite

Recent research discusses concepts of infield changes to overcome the drawbacks of conventional lab-based system design processes. In this paper, we evaluate the concept of controlled change by applying it to a demonstration of a potential future space exploration scenario with mobile robots. The robots are capable of executing several image computations for exploration, object detection and pose estimation, which can be allocated to both FPGA-and processor resources of a System-on-Chip. The demonstrator addresses three scenarios which cover application-, environment-, and platform change. The system adapts itself to any of the named changes. This capability can increase the autonomy of future space missions. Exemplary, the demonstrator executes adaption of applications during operation to fulfill the mission goals, adaption of reliability under changing environment conditions, and adaption to sensor failure.

show abstract

Guided Rule-Based Multi-objective Optimization for Real-Time Distributed Systems

Triantafyllidis

Bondarev

2015

2015 41st Euromicro Conference on Software Engineering and Advanced Applications

View full text Add to dashboard Cite

ProMARTES: Accurate network and computation delay prediction for component-based distributed systems

Cited by 3 publications

References 40 publications

Automating integration under emergent constraints for embedded systems

Automating integration under emergent constraints for embedded systems

Demonstrating Controlled Change for Autonomous Space Vehicles

Guided Rule-Based Multi-objective Optimization for Real-Time Distributed Systems

Contact Info

Product

Resources

About