Result 1 to 20 of 36 total
Generic fault modelling for fault injection. (English)
Aichernig, Bernhard K. (ed.) et al., Formal methods for components and objects. 9th international symposium, FMCO 2010, Graz, Austria, November 29‒December 1, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-25270-9/pbk). Lecture Notes in Computer Science 6957, 287-296 (2011).
1
From EAST-ADL to AUTOSAR software architecture: a mapping scheme. (English)
Crnkovic, Ivica (ed.) et al., Software architecture. 5th European conference, ECSA 2011, Essen, Germany, September 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23797-3/pbk). Lecture Notes in Computer Science 6903, 328-335 (2011).
2
From EAST-ADL to AUTOSAR software architecture: A mapping scheme (English)
ECSA, 328-335 (2011).
3
Tool integration beyond wasserman (English)
CAiSE Workshops, 270-281 (2011).
4
A concept for secure production programming of embedded industrial field devices (English)
COMPSAC, 176-181 (2011).
5
Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2. (English)
Schoitsch, Erwin (ed.), Computer safety, reliability, and security. 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15650-2/pbk). Lecture Notes in Computer Science 6351, 332-346 (2010).
6
MODIFI: a model-implemented fault injection tool. (English)
Schoitsch, Erwin (ed.), Computer safety, reliability, and security. 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15650-2/pbk). Lecture Notes in Computer Science 6351, 210-222 (2010).
7
Towards model-based engineering of self-configuring embedded systems. (English)
Giese, Holger (ed.) et al., Model-based engineering of embedded real-time systems. International Dagstuhl workshop, Dagstuhl Castle, Germany, November 4‒9, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16276-3/pbk). Lecture Notes in Computer Science 6100, 345-353 (2010).
8
io-port 05806688 Cuenot, Philippe;
Frey, Patrick;
Johansson, Rolf;
Lönn, Henrik;
Papadopoulos, Yiannis;
Reiser, Mark-Oliver;
Sandberg, Anders;
Servat, David;
Tavakoli Kolagari, Ramin;
Törngren, Martin;
Weber, Matthias
The EAST-ADL architecture description language for automotive embedded software. (English)
Giese, Holger (ed.) et al., Model-based engineering of embedded real-time systems. International Dagstuhl workshop, Dagstuhl Castle, Germany, November 4‒9, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16276-3/pbk). Lecture Notes in Computer Science 6100, 297-307 (2010).
9
Generic fault modelling for fault injection (English)
FMCO, 287-296 (2010).
10
Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2 (English)
SAFECOMP, 332-346 (2010).
11
MODIFI: A model-implemented fault injection tool (English)
SAFECOMP, 210-222 (2010).
12
An executable design decision representation using model transformations (English)
EUROMICRO-SEAA, 131-134 (2010).
14
The CVM framework - A prototype tool for compositional variability management (English)
VaMoS, 101-105 (2010).
15
Integrating safety analysis into the model-based development toolchain of automotive embedded systems (English)
LCTES, 125-132 (2010).
16
Context-aware adaptation in dyscas (English)
ECEASST 19 (2009).
17
Modelling support for design of safety-critical automotive embedded systems. (English)
Harrison, Michael D. (ed.) et al., Computer safety, reliability, and security. 27th international conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22‒25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87697-7/pbk). Lecture Notes in Computer Science 5219, 72-85 (2008).
18
Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems (English)
CDC, 3737-3742 (2008).
19
Modelling support for design of safety-critical automotive embedded systems (English)
SAFECOMP, 72-85 (2008).
20
Result 1 to 20 of 36 total