A Component Model Family for Vehicular Embedded Systems

Bureš, Tomáš; Carlson, Jan; Sentilles, Séverine; Vulgarakis, Aneta

doi:10.1109/icsea.2008.58

Cited by 10 publications

(12 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…synthesis of runnable entities from model entities). The work is presented within the context of ProCom component technology [5,6,23]. Previous work on ProCom has not presented our incremental approach to generating a runnable system or how to test and analyse components on different abstraction levels.…”

Section: Introductionmentioning

confidence: 99%

Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems

Carlson

Feljan

Mäki-Turja

et al. 2010

2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications

Self Cite

View full text Add to dashboard Cite

show abstract

Section: Introductionmentioning

confidence: 99%

Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems

Carlson

Feljan

Mäki-Turja

et al. 2010

2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications

Self Cite

View full text Add to dashboard Cite

show abstract

“…In this section, we present an overview of ProCom 1 [5], [6], a recently developed component model for designing real-time embedded systems in the vehicular and telecom domains. To address the different concerns that exist on different levels of granularity or various phases of system development, ProCom is organized into two distinct layers: ProSys and ProSave.…”

Section: Procom Component Model: An Overviewmentioning

confidence: 99%

“…We propose a set of component templates, called component patterns in this paper, to transform a specification model together with functional and timing constraints, into a corresponding component design. The proposed patterns are described in ProCom [5], [6], a language for component-based design of embedded systems. Further, the patterns are formally verified to satisfy relevant timing properties.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Pattern-Driven Support for Designing Component-Based Architectural Models

Suryadevara

Seceleanu

Pettersson

2011

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems

View full text Add to dashboard Cite

Abstract-The development of embedded systems often requires the use of various models such as requirements specification, architectural (component-based), and deployment models, across different phases. However, there exists little design support for obtaining suitable component-based designs that satisfy specified requirements and timing constraints. In order to provide guided support for the design process of embedded systems, we introduce several component templates, referred as patterns, which we also formally verify against relevant properties. To illustrate the usefulness of the approach, we have applied the proposed patterns to obtain a componentbased design of a temperature control system.

show abstract

“…Bures [13] proposes a first approach for the automotive domain. UML-MARTE [14] provides an extensive description language for embedded systems modeling.…”

Section: Related Workmentioning

confidence: 99%

Component-based modeling and integration of automotive application architectures

Schorp

Sommer

2014

2014 IEEE International Electric Vehicle Conference (IEVC)

View full text Add to dashboard Cite

Abstract-The introduction of new propulsion technologies such as electric or hybrid drives imposes fundamental changes to the overall structure of the vehicle's electric and electronic system architecture. It also increases the need for cross-domain functionality, such as centralized energy management or the orchestration of mechanical braking and electric energy recuperation during deceleration. This leads to new challenges with respect to architecture development as interconnections between features are introduced that are not yet fully understood. The vehicle's system architecture evolves from towards a distributed multi-functional control system. Component oriented, model based approaches with multiple viewpoints have already proven being suitable in other domains to manage the dependencies between functionality by decomposing a system into a network of functional entities encapsulated in components.In this paper, we present a domain-specific component model to describe functional interdependencies as well as non-functional requirements needed to enable safe integration of software components in a centralized automotive ICT architecture. The model enables the composition of high-level functions and the definition of compatibility constraints. The approach is then applied to unveil feature interaction in a component architecture. This forms the foundation of a sound development and integration process for heavily interconnected functions. It also enables online product validation mechanisms to ensure functional integrity and safety as well as meeting of deployment constraints and timing requirements.

show abstract

A Component Model Family for Vehicular Embedded Systems

Cited by 10 publications

References 8 publications

Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems

Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems

Pattern-Driven Support for Designing Component-Based Architectural Models

Component-based modeling and integration of automotive application architectures

Contact Info

Product

Resources

About