Haut PDF Safe and secure model-driven design for embedded systems
Safe and secure model-driven design for embedded systems
... of embedded systems, designers often rely on system design ...important and hardest task of designing software systems is sometimes considered to be determining the requirements of the ...
214
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
... al. for modern practices, such as Model-Driven Engineering (MDE), to tackle advan- ces in productivity and quality of these now Cyber-Physical Systems (CPSs) ...up for real-life ...
9
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
... Complex systems are now predominant in several domains such as automo- tive, health-care, aerospace, industrial control and automation [ 2 ...call for modern practices, such as ...
9
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
... a model checker for networks of timed au- tomata, the behavioral model of a system to be ver- ified is first translated into a UPPAAL specification to be checked for desired ...behavior. ...
13
Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns
... Define needs in terms of properties and/or keywords, Search for patterns in the repository, Select the appropriate pattern from those proposed by the repository, Import the selection int[r] ...
21
Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns
... Define needs in terms of properties and/or keywords, Search for patterns in the repository, Select the appropriate pattern from those proposed by the repository, Import the selection int[r] ...
20
A model-driven approach for embedded system prototyping and design
... ONCLUSION AND F UTURE W ORKS In this paper we present the hHOEi 2 process and its formal- ization ...activities and tasks with clear inputs and ...concepts for project characterization ...
8
Deep Model Compression and Architecture Optimization for Embedded Systems: A Survey
... automatically design topologies that will compete with each ...structures and missing information (see Figure ...conventions for fixed or constrained topologies such as non-redundant genetic encoding ...
26
A framework for the conceptual and preliminary design of embedded mechatronic systems
... scenarios for the concerned ...requirements and system architecture drive the system and components ...preliminary design fast, reusable and optimal [5]. For representing ...
11
Model-Based Methodology for Requirements Traceability in Embedded Systems
... sensors, and a controller which acquire the noise through the sensors, and computes the correction during the combustion phases of the ...the design of the corresponding ...system for gasoline ...
11
Assisting the Design of Secured Applications for Embedded Systems
... components and their interactions are depicted in figure ...analyses and refinements were ...SW and HW ...signatures and MAC verification. Thus, the HSM stores and handles secret ...
187
A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems
... requirement model (RM) is a model-view of the initial requirements resulting from a re- quirement engineering ...essential for designers because the needs become easily understandable, adapted ...
20
Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management
... metro and railway ...specifications and required properties by final soft- ...demanding and binding unlike model checking, for example, which off ers automatic tools and can be ...
17
Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning
... useful and applicable to Aeolus. However, Aeo- lus and its satellites [11] are not maintained and were not equipped with such integrated model ...using model checking to help in the ...
19
A Methodology for Improving Software Design Lifecycle in Embedded Control Systems
... (used for the control design) and the SynDEx 2 distributed implementation CAD ...laws and the continuous plant model are described using a data-flow ...SynDEx model [3, ...
5
Architecture-Driven Semantic Analysis of Embedded Systems (Eds) Dagstuhl Seminar 12272
... language and using it for building tools that generate analytical models from architectural ones, as well as generate code and configuration scripts for the ...models for analytical ...
5
Safe Model Polymorphism for Flexible Modeling
... used for the object-oriented analysis and design of software systems ...the Model Development Tools 4 sub-project (MDT) provides an EMF-based implementation of the UML2 specification, ...
37
A Process Model Driven Approach Applied in TOPCASED for Embedded Real-Time Software
... holds for the architects of the biggest towers which exist in the world ...one and, in particular the F ALCON 7X 3 which is the up-market executive jet of the Dassault Aviation ...
11
A model-driven framework development methodology for robotic systems
... Properties and Quality of Ser- vice Non-functional properties de ne how a functionality operates, for example, perfor- mance, availability, eectiveness, ...service for providing a quality level to ...
195
Analysis & design of control for distributed embedded systems under communication constraints
... ing and control ...[Martins and Daleh, 2005] also shows that the Shannon Channel Capacity C (which is the maximum possible data rate the channel can support with tolerable level of error) of the feedback ...
143