mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Javed, Muhammad Atif
Publications (4 of 4) Show all publications
Gallina, B., Javed, M. A., Martin, H. & Bramberger, R. (2019). Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262. In: 24th International Conference on Reliable Software Technologies Ada-Europe-2019: . Paper presented at 24th International Conference on Reliable Software Technologies Ada-Europe-2019, 10 Jun 2019, Warsaw, Poland.
Open this publication in new window or tab >>Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262
2019 (English)In: 24th International Conference on Reliable Software Technologies Ada-Europe-2019, 2019Conference paper, Published paper (Refereed)
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-45032 (URN)
Conference
24th International Conference on Reliable Software Technologies Ada-Europe-2019, 10 Jun 2019, Warsaw, Poland
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Available from: 2019-08-26 Created: 2019-08-26 Last updated: 2019-08-26Bibliographically approved
UL Muram, F., Javed, M. A. & Punnekkat, S. (2019). System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production. In: 2019 4th International Conference on System Reliability and Safety, ICSRS 2019: . Paper presented at 4th International Conference on System Reliability and Safety, ICSRS 2019, 20 November 2019 through 22 November 2019 (pp. 394-401). Institute of Electrical and Electronics Engineers Inc.
Open this publication in new window or tab >>System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production
2019 (English)In: 2019 4th International Conference on System Reliability and Safety, ICSRS 2019, Institute of Electrical and Electronics Engineers Inc. , 2019, p. 394-401Conference paper, Published paper (Refereed)
Abstract [en]

The advanced production systems are composed of separate and distinct systems that operate in both isolation and conjunction, and therefore forms the System-of-Systems (SoS). However, a lot of production systems are classified as safety-critical, for example, due to the interactions between machines and involved materials. From the safety perspective, besides the behaviour of an individual system in SoS, the emergent behaviour of systems that comes from their individual actions and interactions must be considered. An unplanned event or sequence of events in safety-critical production systems may results in human injury or death, damage to machines or the environment. This paper focuses on the construction equipment domain, particularly the quarry site, which solely produce dimension stone and/or gravel products. The principal contribution of this paper is SoS hazard identification and mitigation/elimination for the electric quarry site for which the combination of guide words based collaborative method Hazard and Operability (HAZOP) and Fault Tree Analysis (FTA) are used. The published studies on HAZOP and FTA techniques have not considered the emergent behaviours of different machines. The applicability of particular techniques is demonstrated for individual and emergent behaviours of machines used in the quarry operations, such as autonomous hauler, wheel loader, excavator and crusher. 

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc., 2019
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-47319 (URN)10.1109/ICSRS48664.2019.8987613 (DOI)2-s2.0-85080142945 (Scopus ID)9781728147819 (ISBN)
Conference
4th International Conference on System Reliability and Safety, ICSRS 2019, 20 November 2019 through 22 November 2019
Available from: 2020-03-12 Created: 2020-03-12 Last updated: 2020-03-12Bibliographically approved
Javed, M. A., Gallina, B. & Carlsson, A. (2019). Towards variant management and change impact analysis in safety-oriented process-product lines. In: Proceedings of the ACM Symposium on Applied Computing: . Paper presented at 34th Annual ACM Symposium on Applied Computing, SAC 2019, 8 April 2019 through 12 April 2019 (pp. 2372-2375). Association for Computing Machinery
Open this publication in new window or tab >>Towards variant management and change impact analysis in safety-oriented process-product lines
2019 (English)In: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery , 2019, p. 2372-2375Conference paper, Published paper (Refereed)
Abstract [en]

In safety-critical (software) systems, safety management embraces both processes and products, which due to e.g., product's upgrade, tend to be tailored, giving rise to safety-oriented product lines and corresponding safety-oriented process lines. To tailor these lines systematically, their inter-dependencies would have been taken into consideration. To date, however, no satisfying implemented solution is available on the shelf. Accordingly, this paper focuses on the co-engineering of process and product lines. At first, the process and product lines need to be established for which the integration between Eclipse Process Framework (EPF) Composer, Composition with Guarantees for High-integrity Embedded Software Components Assembly (CHESS) Tool and Base Variability Resolution (BVR) Tool is achieved; they are process engineering, product design and variant management solutions, respectively. After that, the process and product lines are integrated. This is done for cross-dimension variant management and change impact analysis. The applicability of the integrated lines is illustrated for the attitude and orbit control subsystem.

Place, publisher, year, edition, pages
Association for Computing Machinery, 2019
Keywords
BVR Tool, Change Impact Analysis, CHESS Tool, EPF Composer, Process Engineering, Process-Product Lines, Product Design, Safety engineering, Attitude and orbit control subsystems, Eclipse process framework, Embedded software components, Inter-dependencies, Process products, Variant managements
National Category
Other Engineering and Technologies
Identifiers
urn:nbn:se:mdh:diva-43504 (URN)10.1145/3297280.3297634 (DOI)000474685800328 ()2-s2.0-85065650221 (Scopus ID)
Conference
34th Annual ACM Symposium on Applied Computing, SAC 2019, 8 April 2019 through 12 April 2019
Available from: 2019-05-28 Created: 2019-05-28 Last updated: 2019-10-11Bibliographically approved
Javed, M. A. & Gallina, B. (2018). Safety-oriented Process Line Engineering via Seamless Integration between EPF Composer and BVR Tool: Variability Management in Process Lines. In: SPLC '18 Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 2: . Paper presented at 22nd International Systems and Software Product Line Conference SPLC 2018, 10-14 Sep 2018, Gothenburg, Sweden (pp. 23-28).
Open this publication in new window or tab >>Safety-oriented Process Line Engineering via Seamless Integration between EPF Composer and BVR Tool: Variability Management in Process Lines
2018 (English)In: SPLC '18 Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 2, 2018, p. 23-28Conference paper, Published paper (Refereed)
Abstract [en]

The integration between process engineering and variability management is required for tailoring of safety-oriented processes with variabilities to individual projects in a similar manner to the product lines. Previous studies have not adequately established the Safety-oriented Process Lines (SoPLs). This paper focuses on the seamless integration between Eclipse Process Framework (EPF) Composer and Base Variability Resolution (BVR) Tool. The former supports the major parts of the OMG’s Software & Systems Process Engineering Metamodel (SPEM) Version 2.0, while the latter is a simplification and enhancement of the OMG’s revised submission of Common Variability Language (CVL). The proposed integration is implemented as Eclipse plugin. It provides support for importing backend folders and files within the method library of EPF Composer, resolving problems with the files for variability management with the BVR Tool, and exporting back the resolved process models to the EPF Composer. The applicability of the implemented plugin is demonstrated by engineering an ECSS-E-ST-40C compliant SoPL for the space projects and applications.

Keywords
Seamless Integration, Process Engineering, EPF Composer, Variability Management, BVR Tool and Process Line Implementation.
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-40865 (URN)10.1145/3236405.3236406 (DOI)000455363200005 ()
Conference
22nd International Systems and Software Product Line Conference SPLC 2018, 10-14 Sep 2018, Gothenburg, Sweden
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Available from: 2018-09-20 Created: 2018-09-20 Last updated: 2019-03-29Bibliographically approved
Organisations

Search in DiVA

Show all publications