Enhancing analysability and time predictability in UML/MARTE component-based application models

Multi-motor wheel independent driving technology is an important direction of electric vehicle(EV). Based on the analysis of the features of existing independent driving system of electric vehicle, a new dual-motor independent driving system configuration was designed. Complete parameters matching and simulation analysis of the system include motor, reducer, and battery. Distributed control network architecture based on high-speed CAN bus was developed, and information scheduling was optimized and real-time predictability was analyzed based on the rate monotonic (RM) algorithm and jitter margin index. The vehicle lateral stability control was achieved based on coordinated electro-hydraulic active braking. Based on the new dual-motor independent driving system, a new battery electric car was designed and tested. The results show that the vehicle has excellent dynamic and economic performance.

Download Full-text

A UML/MARTE Based Design Pattern for a Wireless Sensor Node

Advances in Intelligent Systems and Computing - Intelligent Systems Design and Applications ◽

10.1007/978-3-030-16657-1_55 ◽

2019 ◽

pp. 590-599 ◽

Cited By ~ 1

Author(s):

Raoudha Saida ◽

Yessine Hadj Kacem ◽

M. S. BenSaleh ◽

Mohamed Abid

Keyword(s):

Design Pattern ◽

Sensor Node ◽

Wireless Sensor ◽

Wireless Sensor Node ◽

Uml Marte

Download Full-text

Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems

10.5220/0010546400002992 ◽

2021 ◽

Author(s):

Nissaf Fredj ◽

Yessine Kacem ◽

Olfa Kanoun ◽

Mohamed Abid

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Uml Marte

Download Full-text

Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design Approach

Handbook of Hardware/Software Codesign ◽

10.1007/978-94-017-7358-4_6-1 ◽

2016 ◽

pp. 1-45

Author(s):

Fernando Herrera ◽

Julio Medina ◽

Eugenio Villar

Keyword(s):

Embedded Systems ◽

Design Approach ◽

Single Source ◽

Uml Marte

Download Full-text

Compiling for Time Predictability

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-33675-1_35 ◽

2012 ◽

pp. 382-391 ◽

Cited By ~ 18

Author(s):

Peter Puschner ◽

Raimund Kirner ◽

Benedikt Huber ◽

Daniel Prokesch

Keyword(s):

Time Predictability

Download Full-text

UML MARTE Time Model and Its Clock Constraint Specification Language

Advances in Systems Analysis, Software Engineering, and High Performance Computing - Handbook of Research on Embedded Systems Design ◽

10.4018/978-1-4666-6194-3.ch002 ◽

2014 ◽

pp. 29-51

Author(s):

Frédéric Mallet ◽

Marie-Agnès Peraldi-Frati ◽

Julien Deantoni ◽

Robert de Simone

Keyword(s):

Time Profile ◽

Common Language ◽

Cruise Control ◽

Time Model ◽

Modeling And Analysis ◽

Constraint Specification ◽

Common Framework ◽

Uml State Machines ◽

Uml Marte ◽

Different Parts

The UML Profile for MARTE extends the UML with constructs dedicated to the modeling and analysis of real-time and embedded systems. Its time profile provides a rich model of time based on the notion of logical clocks that can be used consistently through all modeling elements/diagrams. The MARTE time profile comes with a companion language, called CCSL. CCSL is a formal declarative language used to handle the MARTE logical clocks and schedule the execution of the different parts of a model. This chapter gives a snapshot on modeling and analysis facilities that have been developed specifically around the time profile of MARTE and CCSL. A second objective is to show how MARTE can be combined with other profiles such as EAST-ADL. The last objective is the use of CCSL as a common language for specifying the semantics of models to allow their execution in a common framework. The MARTE and EAST-ADL constructs are illustrated on an example of a simplified cruise control. The example starts with a description of functional and timing requirements captured using a specific profile called EAST-ADL dedicated to the automotive domain. Then some of the requirements are refined with UML state machines and activities adorned with MARTE stereotypes. All these models rely on MARTE clocks. The semantics of these diagrams is given by a CCSL description that is automatically derived from the models. The resulting CCSL specification can be used to execute the UML/EAST-ADL specification, to animate the model, or to perform various kinds of analyses.

Download Full-text