Výsledky vyhledávání - "David Servat"

Engineering support for automotive embedded systems beyond Autosar

Autor: Matthias Weber, Ramin Tavakoli Kolagari, Rolf Johansson, Philippe Cuenot, Henrik Lönn, Martin Törngren, David Servat, Patrick Frey

Publikováno v: Scopus-Elsevier

The future de-facto standard for automotive Electric/Electronic (E/E) software architectures of the AUTomotive Open System ARchitecture (Autosar) initiative is gaining momentum in the automotive industry. This is manifested by the fact that vehicle m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d76c2571c8acb579b49ec4ac4633ff81
https://doi.org/10.1007/bf03247113

Zobrazit plný text záznamu

Automatic Optimisation of System Architectures using EAST-ADL

Autor: Chokri Mraidha, Henrik Lönn, David Servat, Sara Tucci-Piergiovanni, Martin Walker, David Parker, DeJiu Chen, Yiannis Papadopoulos, Mark-Oliver Reiser

Publikováno v: Proceedings of Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security
SAFECOMP 2013-Workshop ASCoMS ( Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security
SAFECOMP 2013-Workshop ASCoMS ( Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security-, Sep 2013, Toulouse, France. pp.NA
HAL
Journal of Systems and Software
Journal of Systems and Software, Elsevier, 2013, 86, pp.2467-2487. 〈10.1016/j.jss.2013.04.001〉
Journal of Systems and Software, Elsevier, 2013, 86, pp.2467-2487. ⟨10.1016/j.jss.2013.04.001⟩
Journal of Systems and Software, 2013, 86, pp.2467-2487. ⟨10.1016/j.jss.2013.04.001⟩

There are many challenges which face designers of complex system architectures, particularly safety-critical or real-time systems. The introduction of architecture description languages (ADLs) has helped to meet these challenges by consolidating info

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::40ee2337f1058da1b92eae9656e216cf
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-120494

Zobrazit plný text záznamu

Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing

Autor: Christophe Gaston, David Servat, Boutheina Bannour

Publikováno v: APSEC

In early design phases, system models can be characterized as intended interactions between black box components. Moreover, when dealing with embedded systems, it is usual that interactions are constrained by timing issues. We propose to represent su

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3adf5b0cd2c39f92ef49d150a6eb7564
https://doi.org/10.1109/apsec.2011.40

Zobrazit plný text záznamu

A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks

Autor: Frédéric Loiret, Lionel Seinturier, Laurence Duchien, David Servat

Publikováno v: CBSE'10-13th ACM SIGSOFT International Symposium on Component Based Software Engineering
CBSE'10-13th ACM SIGSOFT International Symposium on Component Based Software Engineering, Jun 2010, Prague, Czech Republic. pp.37-54
HAL
Component-Based Software Engineering ISBN: 9783642132377
CBSE

CORE A.; International audience; Many component models and frameworks have been proposed to abstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based approaches. However, these approaches tend

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b0557a98d74f89d9fb22c9608c01793
https://inria.hal.science/inria-00470160/file/Loiret_Seinturier_Duchien_Servat-CBSE2010.pdf

Zobrazit plný text záznamu

Automatic allocation of safety integrity levels

Autor: Martin Walker, Matthias Weber, Andreas Abele, Rolf Johansson, David Servat, Anders Sandberg, DeJiu Chen, Fulvio Tagliabo, Mark-Oliver Reiser, Yiannis Papadopoulos, Martin Törngren, Sandra Torchiaro, Friedhelm Stappert, L. Berntsson, Henrik Lönn

Publikováno v: EDCC-CARS

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 gener

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6a6b2e8a207f9d005ab7cef8b98ad43
http://dl.acm.org/citation.cfm?id=1772646

Zobrazit plný text záznamu

11 The EAST-ADL Architecture Description Language for Automotive Embedded Software

Autor: Philippe Cuenot, David Servat, Ramin Tavakoli Kolagari, Yiannis Papadopoulos, Henrik Lönn, Matthias Weber, Martin Törngren, Mark-Oliver Reiser, Patrick Frey, Anders Sandberg, Rolf Johansson

Publikováno v: Model-Based Engineering of Embedded Real-Time Systems ISBN: 9783642162763
Model-Based Engineering of Embedded Real-Time Systems

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::595de165b4dddd9a7e07de65a7c610f5
https://doi.org/10.1007/978-3-642-16277-0_11

Zobrazit plný text záznamu

Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems

Autor: David Servat, Huascar Espinoza, Sébastien Gérard

Publikováno v: SHARK

Many important works have been carried out to provide modeling languages (e.g., UML, SDL) with expressiveness to support embedded system design, validation and verification. A fundamental shortcoming in current model-driven approaches is the inabilit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::45eb028ba36dc62ea5d354e3fa04e9fd
https://doi.org/10.1145/1370062.1370078

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání