| 1. |
- Anthony, Richard, et al.
(författare)
-
Autonomic Middleware for Automotive Embedded Systems
- 2009
-
Ingår i: Autonomic Communication. - Boston, MA : Springer US. - 9780387097527 ; , s. 169-210
-
Bokkapitel (refereegranskat)abstract
- This chapter describes DySCAS: an advanced autonomic platform-independent middleware framework for automotive embedded systems. The concepts and architecture are motivated and described in detail, focusing on the need for, and achievement of, high flexibility and automatic run-time reconfiguration. The design of the middleware is positioned with respect to the way it overcomes the specific technical, environmental, and performance challenges of the automotive domain. Self-management is achieved in terms of automatic configuration for context-aware behavior, resource-use efficiency, and self-healing to handle run-time detected faults. The self-management is governed by the use of policies distributed throughout the middleware components. The simulation techniques that have been used for extensive validation are described and some key results presented. A reference implementation is presented, illustrating the way in which the various concepts and mechanisms can be realized and orchestrated.
|
|
| 2. |
- Chen, DeJiu, et al.
(författare)
-
An architectural approach to the analysis, verification and validation of software intensive embedded systems
- 2013
-
Ingår i: Computing. - : Springer Science and Business Media LLC. - 0010-485X .- 1436-5057. ; 95:8, s. 649-688
-
Tidskriftsartikel (refereegranskat)abstract
- EAST-ADL is a domain specific Architecture Description Language (ADL) for safety-critical and software-intensive embedded systems. The language allows a formalized and traceable description of a wide range of engineering concerns throughout the entire lifecycle of system development. This makes it possible to fully utilize the leverage of state-of-the-art methods and tools for the development of correct-by-construction system functions and components in a seamless and cost efficient way. This paper focuses on the recent advancement of EAST-ADL in supporting an architecture-centric analysis, verification&validation of complex behaviors for the purposes of requirements engineering, application design, and safety engineering. The approach is architecture centric because all behavior descriptions are formalized and connected to a set of standardized design artifacts sitting at multiple levels of abstractions. We present the language design to support this, the theoretical underpinning and tool implementation. To show the capability of EAST-ADL, we also introduce an algorithm and its implementation for transforming the EAST-ADL behavior models to SPIN models for logic model checking. Exploiting mature state-of-the-art technologies from computer science, electronic engineering, and other related domains for a model-based incremental system development, the contribution enables the developers of embedded systems and software to maintain various engineering concerns coherently using EAST-ADL.
|
|
| 3. |
- Chen, DeJiu, et al.
(författare)
-
DySCAS System Architecture
- 2007
-
Rapport (refereegranskat)abstract
- This deliverable provides an architectural strategy and overall system design forthe DySCAS middleware system as a first step towards a complete systemspecification. The DySCAS Basic Architecture captures both the systemconceptualization and an initial function-level outline without consideringimplementation and technology details. It defines the middleware system in termsof its application and operational contexts, expected features, middleware servicesthat group functions, behaviours, as well as the structuring and implementationdecisions that are most crucial to satisfy the given set of requirements. In thisdocument, we also outline some fundamental strategies for binding themiddleware components to the target platforms and infrastructures and forhandling potential errors at both initialization-time and rum-time, while taking thetechnology support and domain needs into consideration.This deliverable also covers the rationale behind the architecture solutions andprovides a generic framework that relates architecture principles and styles, wellknownmechanisms, and reference models to the expected functionalities andqualities of DySCAS. The aim is to consolidate the proposed solutions and also tofacilitate the communications between DySCAS partners and to third-parties.
|
|
| 4. |
- Chen, DeJiu, et al.
(författare)
-
Towards Model-Based Engineering of Self-Configuring Embedded Systems
- 2010. - 1st Edition
-
Ingår i: Model-based engineering of embedded real-time systems. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642162763 ; , s. 345-353
-
Konferensbidrag (refereegranskat)abstract
- In self-configuring embedded systems, upgrades, attachment of devices, relocation ofapplications and adjustment of performance parameters can be carried out during run-timefor the purposes of information/function integration, maintenance, performance, resourceefficiency, and robustness. We describe a model-based engineering approach to support thedevelopment of such systems. Essential ingredients include a combined usage of a systemmodel, simulation combined with a number of formal techniques, and run-time models used as a basis for on-line decision making, with the overall goal to ascertain flexible, yet dependable, system behavior.
|
|
| 5. |
|
|
| 6. |
- Persson, Magnus, 1981-, et al.
(författare)
-
DyLite : Design, Implementation and Experiences of a Light-Weight Middleware for Adaptive Embedded Systems
- 2009
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Within this document, we introduce the architecture and detailed design of the DyLitemiddleware. DyLite was created at the Mechatronics Lab during fall 2008 and earlyspring 2009 to further validate the configurational aspects of the architectural frameworkproduced within the DySCAS project. The focus of the implementation is to build alow-overhead, simple implementation of the main concepts in the DySCAS referencearchitecture. Its primary purpose is to validate the parts of the DySCAS system closelyrelated to the (re-)configuration algorithms and quality of service (QoS) mechanisms, andas a basis for the demonstrator built on the SAINT truck. DyLite has been developed in thecontext of automotive systems.Following the work on DyLite, it has been confirmed that the DySCAS ideas areimplementable in real middleware. The DyLite implementation is very compact - thefootprint is only 15 kB - which clearly makes it deployable even in very small-scalemicrocontrollers.
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
- Qureshi, Tahir Naseer, et al.
(författare)
-
A timed automata-based method to analyze EAST-ADL timing constraint specifications
- 2012
-
Ingår i: Modelling Foundations And Applications. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642314902 ; , s. 303-318
-
Konferensbidrag (refereegranskat)abstract
- The increasing development complexity of automotive embedded systems has led to industrial needs of improved information management, early verification and validation of a system etc. EAST-ADL; an automotive-specific architectural description language provides a structured model-based approach for information management throughout the development process. A method to formally analyze consistency of EAST-ADL based timing constraint specifications using timed-automata is presented. A mapping scheme providing a basis for automated model-transformations between EAST-ADL and timed-automata is the main contribution. The method is demonstrated with a case study of a brake-by-wire system. Guidelines for extending the mapping framework are also provided.
|
|
| 10. |
|
|
