Towards cloud-based enactment of safety-related processes

S Alajrami, B Gallina, I Sljivo, A Romanovsky… - … Safety, Reliability, and …, 2016 - Springer
Engineering safety-critical systems is a complex task which involves multiple stakeholders. It
requires shared and scalable computation to systematically involve geographically …

Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer

B Gallina, E Gómez-Martínez, C Benac-Earle - Computer Standards & …, 2017 - Elsevier
An EN 50129-compliant safety case should include process-related evidence in terms of
quality as well as safety management. Potentially innovative engineering methods …

A tool-supported model-based method for facilitating the EN50129-compliant safety approval process

F Ul Muram, B Gallina, S Kanwal - … on Reliability, Safety, and Security of …, 2019 - Springer
Compliance with the CENELEC series is mandatory during the planning of as well as
development of railway systems. For compliance purposes, the creation of safety plans …

POEML: A process orchestration, execution, and modeling language

A Hachemi, M Ahmed‐Nacer - Journal of Software: Evolution …, 2022 - Wiley Online Library
Many software process modeling languages are available today, but the majority do not
meet the community's expectations. They are complex, difficult for enactment, and so forth …

Software development in the post-PC era: towards software development as a service

S Alajrami, A Romanovsky, B Gallina - Product-Focused Software Process …, 2016 - Springer
Over the years, software development has evolved to meet the needs of new types of
applications and to embrace new technological disruptions. Today, we witness the rise of …

Enabling global software development via cloud-based software process enactment

S Alajrami, B Gallina, A Romanovsky - School of Computing …, 2016 - eprints.ncl.ac.uk
Global software development (GSD) is a software development model where the
development effort spans across distributed locations. Although GSD has gained vast …

Enabling GSD task allocation via cloud-based software processes

S Alajrami, B Gallina, A Romanovsky - International Journal of Networked …, 2017 - Springer
Allocating tasks to distributed sites in Global Software Development (GSD) projects is often
done unsystematically and based on the personal experience of project managers. Wrong …

[PDF][PDF] A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process

S Kanwal - es.mdh.se
Compliance with the CENELEC series is mandatory during the planning of as well as
development of railway systems. For compliance purposes, the creation of safety plans …

Tool-support for Facilitating the Certification Liaison Process

S Kanwal - 2019 - repositories.nust.edu.pk
Compliance with the safety standards is mandatory during the planning of as well as the
development of safety critical systems. In some safety-critical domains, standards define …

[PDF][PDF] Cost-aware Scheduling of Software Processes Execution in the Cloud.

S Alajrami, AB Romanovsky, B Gallina - MODELSWARD, 2018 - scitepress.org
Using cloud computing to execute software processes brings several benefits to software
development. In a previous work, we proposed a reference architecture, which treats …