![](bg9.png)
AMASS project, 2016. Deliverable D1.1 - Case studies
description and business impact. Online,
https://www.amass-
ecsel.eu/sites/amass.drupal.pulsartecnalia.com/files/do
cuments/D1.1_Case-studies-description-and-business-
impact_AMASS_Final.pdf (Accessed October 31st,
2017)
AMASS project, 2017a. Online, https://www.amass-
ecsel.eu/ (Accessed October 31st, 2017)
AMASS project, 2017b. Deliverable D1.4 – AMASS
Demonstrators (a). Online, https://www.amass-
ecsel.eu/sites/amass.drupal.pulsartecnalia.com/files/do
cuments/D1.4_AMASS-demonstrators-
%28a%29_AMASS_Final.pdf (Accessed October
31st, 2017)
Ayora, C., Torres, V., de la Vara, J.L., Pelechano, V.,
2016. Variability Management in Process Families
through Change Patterns. Information and Software
Technology 74: 86-104.
Bézivin, J., 2005. On the unification power of models.
Software and System Modeling 4(2): 171-188.
Biggs, G., Sakamoto, T., Kotoku, T., 2016. A profile and
tool for modelling safety information with design
information in SysML. Software and System Modeling
15(1): 147-178.
CDO Model Repository, 2017. Online,
https://www.eclipse.org/cdo/ (Accessed October 31st,
2017)
CENELEC, 2011. EN 50128 - Railway applications -
Communications, signalling and processing systems -
Software for railway control and protection systems.
de la Vara, J.L., 2014. Current and Necessary Insights into
SACM: An Analysis Based on Past Publications. In
RELAW 2014, 7th International Workshop on
Requirements Engineering and Law. IEEE.
de la Vara, J.L., Borg, M., Wnuk, K., Moonen, L., 2016a.
An Industrial Survey on Safety Evidence Change
Impact Analysis Practice. IEEE Transactions on
Software Engineering 42(12): 1095-1117.
de la Vara, J.L., Marín, B., Giachetti, G., Ayora, C.,
2016b. Do Models Improve the Understanding of
Safety Compliance Needs? Insights from a Pilot
Experiment. In ESEM 2016, 10th ACM/IEEE
International Symposium on Empirical Software
Engineering and Measurement. ACM.
de la Vara, J.L., Ruiz, A., Attwood, K., Espinoza, H.,
Panesar-Walawege, R.K., Lopez, A., del Rio, I., Kelly,
T., 2016c. Model-Based Specification of Safety
Compliance Needs: A Holistic Generic Metamodel.
Information and Software Technology 72: 16-30.
de la Vara, J.L., Génova, G., Álvarez-Rodríguez, J.M.,
Llorens, J., 2017a. An Analysis of Safety Evidence
Management with the Structured Assurance Case
Metamodel. Computer Standards & Interfaces 50: 179-
198.
de la Vara, J.L., Gómez, A., Gallego, E., Génova, G.,
Fraga, A., 2017b. Representation of Safety Standards
with Semantic Technologies Used in Industrial
Environments. In SASSUR 2017, 6th International
Workshop on Next Generation of System Assurance
Approaches for Safety-Critical Systems. Springer.
de la Vara, J.L., Marín, B., Ayora, C., Giachetti, G.,
2017c. An Experimental Evaluation of the
Understanding of Safety Compliance Needs with
Models. In ER 2017, 36th International Conference on
Conceptual Modeling. Springer.
Eclipse EEF, 2017. Online, https://eclipse.org/eef/#/
(Accessed October 31st, 2017)
Eclipse Process Framework Project, 2017. Online,
https://eclipse.org/epf/ (Accessed October 31st, 2017)
Epsilon, 2017. Online, https://www.eclipse.org/epsilon/
(Accessed October 31st, 2017)
Ericson, C. A., 2015. Hazard analysis techniques for
system safety. John Wiley & Sons. 2nd edition.
Espinoza, H., Ruiz, A., Sabetzadeh, M., Panaroni, P.,
2011. Challenges for an Open and Evolutionary
Approach to Safety Assurance and Certification of
Safety-Critical Systems. In WoSoCER 2011, First
International Workshop on Software Certification.
IEEE.
EuGENia, 2017. Online,
https://www.eclipse.org/epsilon/doc/eugenia/
(Accessed October 31st, 2017)
Falessi, D., Sabetzadeh, M., Briand, L., Turella, E., Coq,
T., Panesar-Walawege, R.K., 2012. Planning for
Safety Standards Compliance: A Model-Based Tool-
Supported Approach. IEEE Software 29(3): 64-70.
Gallina, B., Pitchai, J.P., Lundqvist, K., 2014: S-
TunExSPEM: Towards an Extension of SPEM 2.0 to
Model and Exchange Tunable Safety-Oriented
Processes. In Software Engineering Research,
Management and Applications. Springer.
Goal Structuring Notation, 2017. Online,
http://www.goalstructuringnotation.info/ (Accessed
October 31st, 2017)
Graphical Modeling Framework, 2017. Online,
https://www.eclipse.org/modeling/gmp/ (Accessed
October 31st, 2017)
Hatcliff, J., Wassyng, A., Kelly, T., Comar, C., Jones,
P.L., 2014. Certifiably safe software-dependent
systems: challenges and directions. In FOSE 2014,
Future of Software Engineering. ACM.
Heimdahl, M.P.E., 2007. Safety and Software Intensive
Systems: Challenges Old and New. In FOSE 20017,
Workshop on the Future of Software Engineering.
IEEE.
IEC, 2010. IEC 61508 - Functional Safety of
Electrical/Electronic/Programmable Electronic
Safety-related Systems. 2nd edition.
ISO, 2011. ISO 26262 - Road vehicles - Functional safety.
Kelly, T., 1999. Arguing Safety - A Systematic Approach
to Managing Safety Cases. University of York. PhD
thesis.
Knight, J.C., 2002. Safety critical systems: challenges and
directions. In ICSE 2002, 24th International
Conference on Software Engineering. ACM.
Leveson, N., 2011. Engineering a safer world: Systems
thinking applied to safety. MIT press.
IndTrackMODELSWARD 2018 - MODELSWARD - Industrial Track
640