| 1. |
|
|
| 2. |
- Blom, Hans, et al.
(författare)
-
EAST-ADL : An Architecture Description Language for Automotive Software-Intensive Systems
- 2013
-
Ingår i: Embedded Computing Systems. - Hershey : Information Science Reference. - 9781466639225
-
Bokkapitel (refereegranskat)abstract
- EAST-ADL is an Architecture Description Language (ADL) initially defined in several European-funded research projects and subsequently refined and aligned with the more recent AUTOSAR automotive standard. It provides a comprehensive approach for defining automotive electronic systems through an information model that captures engineering information in a standardized form. Aspects covered include vehicle features, requirements, analysis functions, software and hardware components, and communication. The representation of the system’s implementation is not defined in EAST-ADL itself but by AUTOSAR. However, traceability is supported from EAST-ADL’s lower abstraction levels to the implementation level elements in AUTOSAR. In this chapter, the authors describe EAST-ADL in detail, show how it relates to AUTOSAR as well as other significant automotive standards, and present current research work on using EAST-ADL in the context of fully-electric vehicles, the functional safety standard ISO 26262, and for multi-objective optimization.
|
|
| 3. |
- Chen, DeJiu, et al.
(författare)
-
Integrated safety and architecture modeling for automotive embedded systems
- 2011
-
Ingår i: Elektrotechnik und Informationstechnik. - : Springer. - 0932-383X .- 1613-7620. ; 128:6, s. 196-202
-
Tidskriftsartikel (refereegranskat)abstract
- EAST-ADL is an architecture description language (ADL) for model-based development of automotive embedded systems.The formalization of domain-specific engineering information and methodology brings a potential for a wide range of benefitsfor information management, system design and integration, tool interaction, documentation and communication. This paper describesthe EAST-ADL language support for safety requirements, faults/failures, hazards and safety constraints in the context of ISO/DIS 26262reference safety lifecycle. Based on the language support, the safety related information can be derived and managed seamlessly alongwith its target nominal system architecture model with multiple abstraction levels and view extensions. Through model transformationand tool integration, automated safety analysis is allowed.
|
|
| 4. |
- Chen, DeJiu, et al.
(författare)
-
Modelling Support for Design of Safety-Critical Automotive Embedded Systems
- 2008
-
Ingår i: Proceedings of the 27th International Conference on Computer Safety, Reliability and Security, 2008.. - Berlin, Heidelberg : Springer Berlin Heidelberg.
-
Konferensbidrag (refereegranskat)abstract
- This paper describes and demonstrates an approach that promises to bridge the gap between model-based systems engineering and the safety process of automotive embedded systems. The basis for this is the integration of safety analysis techniques, a method for developing and managing Safety Cases, and a systematic approach to model-based engineering - the EAST-ADL2 architecture description language. Three areas are highlighted: (I) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262 (2) Safety Case development in close connection to the system model (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.
|
|
| 5. |
- Chen, DeJiu, et al.
(författare)
-
Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS
- 2013
-
Ingår i: IFAC Proceedings Volumes. ; , s. 91-96
-
Konferensbidrag (refereegranskat)abstract
- EAST-ADL is a domain-specific modeling framework with methodology and language supportfor the engineering of automotive embedded systems. In regard to functional safety, it aims toprovide the maximum possible support for ISO 26262 so that all safety related information can beconsolidated seamlessly in a common system model together with the requirements specification.This paper describes the EAST-ADL support for the modeling of plausible error behaviors as anorthogonal system view. We introduce in particular an integration of such EAST-ADL modelswith the HiP-HOPS method for automated temporal fault tree analysis.
|
|
| 6. |
- Cuenot, Philippe, et al.
(författare)
-
The EAST-ADL Architecture Description Language for Automotive Embedded Software
- 2010. - 1
-
Ingår i: Model-Based Engineering of Embedded Real-Time Systems. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642162770 ; , s. 297-207
-
Bokkapitel (refereegranskat)abstract
- Current trends in automotive embedded systems focus on how to manage the increasing software content, with a strong emphasis on standardization of the embedded software structure. The management of engineering information remains a critical challenge in order to support development and other stages of the life-cycle. System modelling based on an Architecture Description Language (ADL) is a way to keep these assets within one information structure. This paper presents the EAST- ADL2 modelling language, developed in the ITEA EAST-EEA project and further enhanced in the ATESST project (www.atesst.org). EAST- ADL2 supports comprehensive model-based development of embedded systems and provides dedicated constructs to facilitate variability and product line management, requirements engineering, representation of functional as well as software/hardware solutions, and timing and safety analysis.
|
|
| 7. |
- Jackson, Adrian, et al.
(författare)
-
High Performance I/O
- 2011
-
Ingår i: Parallel, Distributed and Network-Based Processing (PDP), 2011 19th Euromicro International Conference on. - 9781424496822 ; , s. 349-356
-
Konferensbidrag (refereegranskat)abstract
- Parallelisation, serial optimisation, compiler tuning, and many more techniques are used to optimise and improve the performance scaling of parallel programs. One area which is frequently not optimised is file I/O. This is because it is often not considered to be key to the performance of a program and also because it is traditionally difficult to optimise and very machine specific. However, in the current era of Peta- and Exascale computing it is no longer possible to ignore I/O performance as it can significantly limit the scaling of many codes when executing on very large numbers of processors or cores. Furthermore, as producing data is the main purpose of most simulation codes any work that can be undertaken to provide improved performance of I/0 can be applicable to a very large range of simulation codes, and provide them with improved functionality (i.e. the ability to produce more data).This paper describes some of the issues surrounding I/O, the technology that is commonly deployed to provide I/O on HPC machines and the software libraries available to programmers to undertake I/O. The performance of all these aspects of I/O on a range of HPC systems were investigated by the authors and a represented in this paper to motivate the discussions in the paper.
|
|
| 8. |
- Jackson, Adrian, et al.
(författare)
-
Parallel Optimisation Strategies for Fusion Codes
- 2011
-
Ingår i: Parallel, Distributed and Network-Based Processing (PDP), 2011 19th Euromicro International Conference on. - 9781424496822 ; , s. 357-364
-
Konferensbidrag (refereegranskat)abstract
- We have previously documented the on-going work in the EUFORIA project to parallelise and optimise European fusion simulation codes, see. This involves working with a wide range of codes to try and address any performance and scaling issues that these codes have. However, as no two simulation codes are exactly the same, it is very hard to apply exactly the same approach to optimising a disparate range of codes. Indeed, it can be seen from that the codes investigated range in terms of performance and ability from well-optimised, highly parallelised codes, to serial or poorly performing codes. After analysing, optimising, and parallelising a range of codes it is, actually, possible to discern a number of distinct optimisation techniques or approaches/strategies that can be used to improve the performance or scaling of a parallel simulation code. This paper outlines the distinct approaches that we have identified, highlighting their benefits and drawbacks, giving an overview of the type of work that is often attempted for fusion simulation code optimisation.
|
|
| 9. |
- Mian, Zhibao, et al.
(författare)
-
System dependability modelling and analysis using AADL and HiP-HOPS
- 2012
-
Ingår i: 14th IFAC Symposium on Information Control Problems in Manufacturing. - : IFAC. - 9783902661982 ; , s. 1647-1652
-
Konferensbidrag (refereegranskat)abstract
- The Architecture Analysis and Design Language (AADL) is gaining widespread acceptance in aerospace, automobile and avionics industries for designing dependability-critical systems. The design process of dependable systems must address both cost and dependability (safety, reliability, availability, maintainability) concerns. This requires translating concepts of the design domain to the dependability analysis domain. We automate such a translation between AADL and the dependability analysis tool HiP-HOPS by using model transformation techniques. A generic primary-standby example system is used to show the mechanics of the transformation and the potential for highlighting problems and assisting design work using this technology.
|
|
| 10. |
- Papadopoulos, Yiannis, et al.
(författare)
-
Automatic allocation of safety integrity levels
- 2010
-
Ingår i: Proceedings of the 1st Workshop on Critical Automotive applications. - New York : Association for Computing Machinery (ACM). - 9781605589152 ; , s. 7-10
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we describe a concept for the automatic allocationof general Safety Integrity Levels (SILs) to subsystems andcomponents of complex hierarchical networked architectures thatdeliver sets of safety critical functions. The concept is generic andcan be adapted to facilitate the safety engineering approachdefined in several standards that employ the concept of integrityor assurance levels including ISO 26262, the emergingautomotive safety standard. SIL allocation is facilitated by HiPHOPS,an automated safety analysis tool, and can be performed inthe context of development using EAST-ADL2, an automotivearchitecture description language. The process rationalizescomplex risk allocation and leads to optimal/economic allocationof SILs.
|
|
