1 - 4 of 4
ItemInvestigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation( 2017-01-04)Automotive systems are safety-critical cyber-physical \ systems. In particular, undesired feature interaction can \ lead to safety-critical behavior. In order to address this \ problem, we investigate physical feature interaction in this \ context using simulation (with more than one physical variable). \ This allows us to visualize both the behavior of features \ in isolation and their interaction. Our major result is \ a new insight about feature coordination. In such a cyber-physical \ context, it can be insufficient to coordinate as usual \ by giving one feature priority over another one. Instead, \ coordinating based on a physical variable involved in the \ feature interaction appears to be both necessary and sufficient. \ In summary, we present our investigation of safety-critical \ feature interactions and their coordination in automotive \ systems using simulation, and its results.
ItemApplying MARTE Profile for Optimal Automotive System Specifications and Design( 2017-01-04)The UML profile for Modeling and Analysis of Real- \ Time and Embedded Systems (MARTE) describes semantics \ and syntax for designing embedded and real-time systems, \ providing capabilities for representing the intrinsic characteristics \ of these systems, such as resource allocation, time \ criteria, non-functional characteristics, among others. MARTE \ provides different constructors and appropriate annotations \ for design activities allowing representation of quantitative \ characteristics that are relevant to the domain of a real-time \ system such as, for example, deadlines, periods, processing \ capacity, timing, and also qualitative characteristics that relate \ to system performance, including methods of communication \ and concurrence. This paper presents an in-depth study about \ the CoreElements, Time and GRM packages of the MARTE \ profile. In addition, it presents an initial analysis of conformity \ of MARTE constructors in the context of the specification \ processes and design of automotive systems. It is important \ to emphasize that the presented models are strengthened \ with MARTE constructors, by allowing the representation of \ functional and non-functional requirements, performance and \ temporal restrictions in the field of automotive systems already \ in initial stages of system design.
ItemA Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems( 2017-01-04)Activities for the comprehension and development \ of Cyber-Physical Systems (CPS) include analysis of multiple \ disciplines including mechanical engineering, electronic \ engineering, systems engineering and computer science. This \ work presents a comprehensive and applicable methodology \ for the initial activities of the development process of CPS. \ This methodology displays the capacity to describe and enable \ detailed analysis of the relevant properties of these systems as, \ for example, time specification, resources, communication and \ non-functional properties of CPS. In this research, two consolidated \ approaches of Model-Based Engineering are used in a \ combined way for proposing a methodology for requirements \ analysis, modeling and formal specification of CPS. Initially, a \ strategy for the definition, modeling, specification, and categorization \ of requirements in a tabular way is proposed. From \ the system definition in a high abstraction level, the SysML \ Requirements diagram is extended by using UML profile \ MARTE/VSL for formalization of restrictions, annotations and \ stereotypes in the model. Initial results of the application of \ the proposed methodology are presented by means of a case \ study of the Industrial Packing System.