-
2
-
-
80055037884
-
-
ASSERT (Automated proof-based System and Software Engineering for Real-Time systems) project
-
ASSERT (Automated proof-based System and Software Engineering for Real-Time systems) project, 2010. http://assert-project.net
-
(2010)
-
-
-
3
-
-
80055051433
-
-
ATESST2 (Advancing Traffic Efficiency and Safety through Software Technology) project
-
ATESST2 (Advancing Traffic Efficiency and Safety through Software Technology) project, 2010. http://www.atesst.org
-
(2010)
-
-
-
4
-
-
80055029325
-
-
AUTOSAR -AUTomotive Open System ARchitecture
-
AUTOSAR -AUTomotive Open System ARchitecture. http://www. autosar.org
-
-
-
-
5
-
-
77954461067
-
Integrating safety analysis into the model-based development toolchain of automotive embedded systems
-
Stockholm, Sweden. April. 2010
-
Biehl, M., Chen, D., Törngren, M.: Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems. In: ACM SIGPLAN/SIGBED Conf on Languages, Compilers and Tools for Embedded Systems, LCTES 2010 Stockholm, Sweden. April. 2010.
-
(2010)
ACM SIGPLAN/SIGBED Conf on Languages, Compilers and Tools for Embedded Systems, LCTES
-
-
Biehl, M.1
Chen, D.2
Törngren, M.3
-
6
-
-
80055050830
-
-
CESAR (Cost-efficient methods and processes for safety relevant embedded systems) project
-
CESAR (Cost-efficient methods and processes for safety relevant embedded systems) project, 2011. http://www.cesarproject.eu/
-
(2011)
-
-
-
7
-
-
56449116630
-
Modelling support for design of safety-critical automotive embedded systems
-
Springer
-
Chen, D., Johansson, R., Lönn, H., Papadopoulos, Y., Sandberg, A., Törner, F., Törngren, M.: Modelling Support for Design of Safety-Critical Automotive Embedded Systems. In: SAFECOMP2008. LNCS, vol. 5219, pp. 72-85. Springer. 2008.
-
(2008)
SAFECOMP2008. LNCS
, vol.5219
, pp. 72-85
-
-
Chen, D.1
Johansson, R.2
Lönn, H.3
Papadopoulos, Y.4
Sandberg, A.5
Törner, F.6
Törngren, M.7
-
8
-
-
80055061153
-
-
EAST-ADL. EAST-ADL Domain ModelSpecification. Version M.2.1.9 2011-01-30
-
EAST-ADL. EAST-ADL Domain ModelSpecification. Version M.2.1.9 2011-01-30. http://www.maenad.eu/public/EAST-ADL-Specification. 2011.
-
(2011)
-
-
-
9
-
-
80055058165
-
-
ISO International Organization for Standardization: ISO/DIS 26262. 2010
-
ISO International Organization for Standardization: ISO/DIS 26262. 2010.
-
-
-
-
11
-
-
80055038869
-
-
MARTE (Modeling and Analysis of Real-time and Embedded systems), OMG
-
MARTE (Modeling and Analysis of Real-time and Embedded systems), OMG, 2010. http://omgmarte.org
-
(2010)
-
-
-
12
-
-
84961327837
-
Hierarchically performed hazard origin and propagation studies
-
In: SAFECOMP 1999 Springer
-
Papadopoulos, Y. and McDermid, J. A.: Hierarchically performed hazard origin and propagation studies. In: SAFECOMP 1999. LNCS, vol. 1698, pp. 139-152. Springer. 1999.
-
(1999)
LNCS
, vol.1698
, pp. 139-152
-
-
Papadopoulos, Y.1
McDermid, J.A.2
-
13
-
-
77954484590
-
Automatic allocation ofsafetyintegritylevels
-
CARS2010, Valencia, Spain, 27 April
-
Papadopoulos, Y., Walker, M., Reiser, M.-O., Weber, M., Chen, D., Törngren, M., Servat, D., Abele, A., Stappert, F., Lönn, H., Berntsson, L., Johansson, R., Tagliabo, F., Torchiaro, S., A. Sandberg: Automatic allocation ofsafetyintegritylevels. In: ACM Proceedings of the 1stWorkshop on Critical Automotive applications: Robustness and Safety, Pages: 7-10, CARS2010, Valencia, Spain, 27 April 2010.
-
(2010)
ACM Proceedings of the 1stWorkshop on Critical Automotive Applications: Robustness and Safety
, pp. 7-10
-
-
Papadopoulos, Y.1
Walker, M.2
Reiser, M.-O.3
Weber, M.4
Chen, D.5
Törngren, M.6
Servat, D.7
Abele, A.8
Stappert, F.9
Lönn, H.10
Berntsson, L.11
Johansson, R.12
Tagliabo, F.13
Torchiaro, S.14
Sandberg, A.15
-
14
-
-
33750967910
-
Towards a unified model-based safety assessment
-
Computer Safety, Reliability, and Security - 25th International Conference, SAFECOMP 2006. Proceedings
-
Peikenkamp, T., Cavallo, A., Valacca, L., Böde, E., Pretzer, M., Hahn, E. M.: Towards a Unified Model-Based Safety Assessment. In: SAFECOMP2006, LNCS, vol. 4166, pp. 275-288. 2006. (Pubitemid 44744053)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4166 LNCS
, pp. 275-288
-
-
Peikenkamp, T.1
Cavallo, A.2
Valacca, L.3
Bode, E.4
Pretzer, M.5
Hahn, E.M.6
-
15
-
-
80055058338
-
-
SAFEDOR (design, operation and regulation for safety) project
-
SAFEDOR (design, operation and regulation for safety) project, 2004. http://safedor.org
-
(2004)
-
-
-
16
-
-
77956579716
-
Model-based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2
-
In: SAFECOMP2010 Springer
-
Sandberg, A., Chen, D., Lönn, H., Johansson, R., Feng, L., Törngren, M., Torchiaro, S., Tavakoli-Kolagari, R., Abele, A.: Model-based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. In: SAFECOMP2010. LNCS, vol. 6351, pp. 332-346. Springer. 2010.
-
(2010)
LNCS
, vol.6351
, pp. 332-346
-
-
Sandberg, A.1
Chen, D.2
Lönn, H.3
Johansson, R.4
Feng, L.5
Törngren, M.6
Torchiaro, S.7
Tavakoli-Kolagari, R.8
Abele, A.9
-
17
-
-
80055035113
-
-
SETTA (System and Safety Engineering of Time Triggered Architectures) project
-
SETTA (System and Safety Engineering of Time Triggered Architectures) project, 2002. http://www.vmars.tuwien.ac.at/projects/setta
-
(2002)
-
-
-
18
-
-
80055063071
-
-
SPEEDS (Speculative and Exploratory Design in Systems Engineering) project
-
SPEEDS (Speculative and Exploratory Design in Systems Engineering) project, 2009. http://www.speeds.eu.com
-
(2009)
-
-
-
19
-
-
80055059706
-
-
SysML (Systems Modeling Language), Object Management Group
-
SysML (Systems Modeling Language), Object Management Group, OMG, 2011. http://omgsysml.org
-
(2011)
OMG
-
-
-
20
-
-
80055033466
-
-
TIMMO (Timing Model) project
-
TIMMO (Timing Model) project, 2009. http://www.timmo.org.
-
(2009)
-
-
-
21
-
-
80055041348
-
-
UML (Unified Modeling Language), Object Management Group
-
UML (Unified Modeling Language), Object Management Group, OMG, 2011. http://www.uml.org.
-
(2011)
OMG
-
-
|