Measuring design compliance using neural language models -- an automotive case study

Autor: Parthasarathy, Dhasarathy, Ekelin, Cecilia, Karri, Anjali, Sun, Jiapeng, Moraitis, Panagiotis

As the modern vehicle becomes more software-defined, it is beginning to take significant effort to avoid serious regression in software design. This is because automotive software architects rely largely upon manual review of code to spot deviations

Externí odkaz: http://arxiv.org/abs/2208.13215

Languages for safety-certification related propertis

Autor: Benac Earle, Clara, Gómez-Martínez, María Elena, Tonetta, Stefano, Puri, Stefano, Mazzini, Silvia, Gilbert, Jean-Louis, Hachet, Olivier, Serna Oliver, Ramón, Ekelin, Cecilia, Zedda, Katiusca

Publikováno v: 39th Euromicro Conference on Software Engineering and Advanced Applications | 4-6 Sep 2013 | Santander, España
Archivo Digital UPM
Universidad Politécnica de Madrid

The Safety Certification of Software-Intensive Systems with Reusable Components project, in short SafeCer (www.safecer.eu),is targeting increased efficiency and reduced time-to-market by composable safety certification of safety- relevant embedded sy

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::daa086ecba123beb4cf6070046adb4fa
https://oa.upm.es/30673/

Supporting the Linked Data Approach to Maintain Coherence Across Rich EMF Models.

Autor: El-Khoury, Jad, Ekelin, Cecilia, Ekholm, Christian

Publikováno v: Modelling Foundations & Applications (9783319420608); 2016, p36-47, 12p

Towards a Dynamically Reconfigurable Automotive Control System Architecture.

Autor: Zanella, Mauro C., Dömer, Rainer, Gerstlauer, Andreas, Rammig, Franz J., Anthony, Richard, Rettberg, Achim, Chen, Dejiu, Jahnich, Isabell, de Boer, Gerrit, Ekelin, Cecilia

Publikováno v: Embedded System Design: Topics, Techniques & Trends; 2007, p71-84, 14p