A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes

Enrici, Andrea; Apvrille, Ludovic; Pacalet, Renaud

doi:10.1007/978-3-319-11653-2_23

Cited by 8 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The exact physical path of a data/event write may also include mapping channels to buses and bridges. Alternatively, if the data path is complex (e.g., DMA transfer), channels can be mapped over communication patterns (Enrici et al, 2014). …”

Section: Modelingmentioning

confidence: 99%

Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design

Genius

Apvrille

2017

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development

Self Cite

View full text Add to dashboard Cite

Abstract:The design methodology of an embedded system should start with a system-level partitioning dividing functions into hardware and software. However, since this partitioning decision is taken at a high level of abstraction, we propose regularly validating the selected partitioning during software development. The paper introduces a new model-based engineering process with a supporting toolkit, first performing system-level partitioning, and then assessing the partitioning choices thus obtained at different levels of abstraction during software design. This assessment shall in particular validate the assumptions made on system-level (e.g. on cache miss rates) that cannot be precisely determined without low-level hardware model. High-level partitioning simulations/verification rely on custom model-checkers and abstract models of software and hardware, while low-level prototyping simulations rely on automatically generated C-POSIX software code executing on a cycle-precise virtual prototyping platform. An automotive case study on an automatic braking application illustrates our complete approach.

show abstract

Section: Modelingmentioning

confidence: 99%

Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design

Genius

Apvrille

2017

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development

Self Cite

View full text Add to dashboard Cite

show abstract

“…A task mapped onto a processor will be implemented in software, and a task mapped onto a hardware accelerator will be implemented in hardware. The exact physical path of a data/event write may also be specified by mapping channels to buses and bridges, or through associated Communication Patterns [10]. translated into the Software/System Design model.…”

Section: Mapping Viewmentioning

confidence: 99%

Safe and Secure Support for Public Safety Networks

Apvrille¹,

Li²

2017

Wireless Public Safety Networks 3

Self Cite

View full text Add to dashboard Cite

SUMMARYThe advent of autonomous vehicles and UAVs offers additional support for disaster relief efforts. These self-managing objects are able to gather data, deploy a wireless network, and other simple routine maintenance tasks, freeing up aid workers to focus their efforts on the rescue itself. Fleets of UAVs may deploy mobile communication networks, and with their mobility advantage, also gather visual images of areas to coordinate relief efforts. Autonomous vehicles may deploy a higher-powered wireless relay, and also transport supplies or evacuate patients from treacherous areas without risking the life of a driver. However, during these precarious situations, faults in the design of these autonomous vehicles, should they be exposed and exploited, may worsen the disaster. It is important to ensure that these deployed autonomous objects will execute both safely and securely. In this chapter, we present a design methodology SysML-Sec in the open-source toolkit TTool for the design and verification of both autonomous objects and mission planning.

show abstract

Model-Based Programming for Multi-processor Platforms with TTool/DIPLODOCUS and OMC

Enrici

Lallet

Pacalet

et al. 2019

Communications in Computer and Information Science

View full text Add to dashboard Cite

A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes

Cited by 8 publications

References 15 publications

Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design

Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design

Safe and Secure Support for Public Safety Networks

Model-Based Programming for Multi-processor Platforms with TTool/DIPLODOCUS and OMC

Contact Info

Product

Resources

About