An Actual Implementation of a UML Profile for Developing Airworthiness- Compliant (RTCA DO-178B) Software.



Similar documents
Sparx Systems Enterprise Architect Cloud-based repository hosting

Requirements Management

NYU. Business Solution Engineering Project Sample Application XXX

Requirements Management with Enterprise Architect

ProGUM-Web: Tool Support for Model-Based Development of Web Applications

BPEL. A Step by Step Guide: Model-Driven Generation with. Enterprise Architect. T his document will teach you how to use the Business Process

Auditing UML Models. This booklet explains the Auditing feature of Enterprise Architect. Copyright Sparx Systems Pty Ltd

The Impact of RTCA DO-178C on Software Development

Deployment of Enterprise Architect

The new software standard for the avionic industry: goals, changes and challenges

SOLUTION BRIEF CA ERwin Modeling. How can I understand, manage and govern complex data assets and improve business agility?

Requirements Management with Enterprise Architect

UML TUTORIALS THE USE CASE MODEL

SaaS business experience platform for content lifecycle management

Qualtech Consulting Inc.

SysML Modelling Language explained

Parameters for Efficient Software Certification

Using Metadata Manager for System Impact Analysis in Healthcare

Model Simulation in Rational Software Architect: Business Process Simulation

IBM Rational Rhapsody

Writing Use Case Scenarios for Model Driven Development

Translation Proxy A New Option for Managing Multilingual Websites


Excerpts from Chapter 4, Architectural Modeling -- UML for Mere Mortals by Eric J. Naiburg and Robert A. Maksimchuk

Deployment of Enterprise Architect

How To Create A Complex Diagram On A Computer Game

F-22 Raptor. Agenda. 1. Motivation

Functional Architectures with SysML

Demand & Requirements Management Software Development QA & Test Management IT Operations & DevOps Change Management Agile, SAFe, Waterfall Support

Using UML Part One Structural Modeling Diagrams

Meeting DO-178B Software Verification Guidelines with Coverity Integrity Center

Project Management with Enterprise Architect

JSF Software Safety Process: Providing Developmental Assurance

Increasing Development Knowledge with EPFC

SEARCH The National Consortium for Justice Information and Statistics. Model-driven Development of NIEM Information Exchange Package Documentation

Development of Enterprise Architecture of PPDR Organisations W. Müller, F. Reinert

Why effective Test Automation drives successful and qualitydriven mobile payments

Software Development in the Large!

The Comprehensive and Fully Compliant Certification Solution. Certification Services

The role of integrated requirements management in software delivery.

HP Systinet. Software Version: Windows and Linux Operating Systems. Concepts Guide

User Security in UML Models

Function Point Modeler Enterprise Edition A Software Lifecycle Management Tool

Creating Competitive Advantage: The role for ALM in the PLM world

Layer2 Knowledge Management Suite for SharePoint V3

Using Enterprise Architect UML Modeling Tool

Successful Enterprise Integration Using the IEC CIM

An Enterprise Architect s Approach to Assessment Development

TESSY Automated dynamic module/unit and. CTE Classification Tree Editor. integration testing of embedded applications. for test case specifications

CA Process Automation

dynamic Learning Content Management System

Design Authorization Systems Using SecureUML

EAI-Low Level Design Document

ARINC 653. An Avionics Standard for Safe, Partitioned Systems

SOA Adoption Challenges

WORKSHOP RC EVI Integração de Sistemas Junho de 2011 Eng. Nelson José Wilmers Júnior

Library Requirements

SOLUTION BRIEF CA ERWIN MODELING. How Can I Manage Data Complexity and Improve Business Agility?

How To Write A Train Control System

Case Study. Developing an. Enterprise-wide Architecture. within. Insurance Australia Group

Do you know? "7 Practices" for a Reliable Requirements Management. by Software Process Engineering Inc. translated by Sparx Systems Japan Co., Ltd.

Winery A Modeling Tool for TOSCA-based Cloud Applications

A Quick Chat about SOMF Capabilities Page1 Service-Oriented Modeling Framework (SOMF) Building Attribution Models

Service Design: Using a GSRM Meta-Model. Ed Buchinski Treasury Board of Canada Secretariat UN/CEFACT TBG-19 Oct. 5 th, 2006

EXCEL IMPORT user guide

Solve the Dropbox Problem with Enterprise Content Connectors. Whitepaper Solve the Dropbox Problem with Enterprise Content Connectors

Generating Aspect Code from UML Models

Methodological Handbook. Efficient Development of Safe Avionics Software with DO-178B Objectives Using SCADE Suite

UN/CEFACT S Modeling Methodology (UMM): A UML Profile for B2B e-commerce

Software Development In the Cloud Cloud management and ALM

Enterprise Portfolio Management

The Be Informed Business Thesaurus. Design choices, their consequences and some examples

Project estimation with Use Case Points using Enterprise Architect (EA)

Developing SOA solutions using IBM SOA Foundation

WebRatio 5: An Eclipse-based CASE tool for engineering Web applications

ENEA: THE PROVEN LEADER IN SAFETY CRITICAL AVIONICS SYSTEMS

Functional Architectures in SysML

Foundations of Model-Driven Software Engineering

UML TUTORIALS THE COMPONENT MODEL

DDI Lifecycle: Moving Forward Status of the Development of DDI 4. Joachim Wackerow Technical Committee, DDI Alliance

Overview Application Incident Management. David Birkenbach ALM Solution Management August 2011

Complex Event Processing: Framework for Operational Visibility and Decisions. How TIBCO BusinessEvents Manages Complexity in Healthcare

CRITICAL SUCCESS FACTORS FOR A SUCCESSFUL TEST ENVIRONMENT MANAGEMENT

Integrated Development of Distributed Real-Time Applications with Asynchronous Communication

MOLA MOLA IDA Integrates ARIS Business Architect or ARIS Toolset with EMC Documentum. White Paper

i-questionnaire A Software Service Tool for Data

Model Driven Interoperability through Semantic Annotations using SoaML and ODM

A Tool Suite for the Generation and Validation of Configurations for Software Availability

Tools for Forging the Functional Architecture

CHARTER: Best Practices for Services Implementation Using ARTS Standards (Cloud, Enterprise, and Devices) June 16, 2014 Release 0.

Revel8or: Model Driven Capacity Planning Tool Suite

The Open Group Perspective on Public Sector Cloud

Acknowledgments. p. 55

GCS North America - ARIS BPM Consulting - Services Overview. Marc Redemann Director, ARIS BPM Consulting marc.redemann@softwareag.

Transcription:

An Actual Implementation of a UML Profile for Developing Airworthiness- Compliant (RTCA DO-178B) Software. by Jan van Oort Excerpts of a Talk held at SWISSED14, September 1, ETH Zürich Getting all the stakeholders in a software development project to speak the same language can be a serious issue, and misunderstandings the later they occur in the software s development lifecycle may be anything from trivial to very costly. To this end, we implemented the principal concepts from DO178B, Software Considerations in Airborne Systems and Equipment Certification, as a UML profile; each concept occurring in DO178B has its counterpart in a UML stereotype. The base structure of the profile is visible in Figure 1. Figure 1: basic DO178B profile structure SparxSystems Software GmbH Firmensitz: Handelskai 340/5, A-1020 Wien, Österreich

The profile, which we provide as an XML file, can be imported into any Enterprise Architect project, via the Project Resources window: right-click on the UML Profiles tree element, select Import Profiles, and then select the appropriate.xml file. After import, the profile will appear in the Project Resources window as a new node under UML Profiles (Figure 2). The profile s various stereotypes are now available for application on any element and / or connector in your Enterprise Architect project; an application is shown in Figure 3. Figure 2: the Project Resources window showing the imported DO178B profile

Figure 3: an example use of the DO178B profile Yet another way to use all or only parts of a profile is by registering the original Enterprise Architect project (the one in which the profile was created ) as a Reusable Asset, via the Reusable Asset Service. Remote stakeholders can then simply browse the various packages in the project, and even view diagrams contained in it and then decide which parts they are interested in (Figure 4).

Figure 4: accessing a profile s original project as a Reusable Asset, via a Cloud Service Moreover, we created an Enterprise Architect project glossary (figure 5) with both a list of keywords may, must, must not, as specified by IETF 2119, and a list of keywords from the actual DO178B standard document, such as Safety-Critical. The glossary is a powerful Enterprise Architect feature, which can greatly help in providing shared understanding of shared principle. It can be exported separately from all other project data as so-called reference data (figure 6), for re-use in other projects; when generating project HTML documentation, including the glossary is also an option.

Figure 5: the DO178B profile Glossary

Figure 6: exporting a Project Glossary The original work upon which this DO178B profile implementation is based, was a 2006 paper by Zoughbi et al. [Zoughbi 2006]. Interestingly, Zoughbi et al. also provided detailed lists of requirements an implementation of their work should realize. Using the requirements diagramming possibility in Enterprise Architect, we modeled the paper s list of core requirements, which enabled us to provide graphically interesting overviews of requirement coverage aspects (Figure 7). The associated Project Glossary and the DO178B Profile are available at do178b_glossary http://www.sparxsystems.de/fileadmin/user_upload/ressources/do178b_profile/do178b_glossary.xml do178b_profile http://www.sparxsystems.de/fileadmin/user_upload/ressources/do178b_profile/do178b_profile.xml under the terms of the MIT license: http://opensource.org/licenses/mit If you are interested in obtaining the entire, original Enterprise Architect project as an.eap file free from charges, please contact the author Jan van Oort at exercitussolus@gmail.com

The current work is a preparation of a planned effort, by the author, to also implement DO178C (see [Nordhoff2014] as a UML profile), with the kind support of Sparx Systems Central Europe GmbH. Figure 7: DO178B requirements coverage example References [Zoughbi 2006] Gregory Zoughbi, Lionel Briand and Yvan Labiche, A UML Profile For Developing Airworthiness-Compliant (RTCA DO-178B) Safety-Critical Software, Carlton University, Ottawa CA, 2006. [Nordhoff2014] Sven Nordhoff, DO-178C/ED-12C, The new software standard for the avionic industry: goals, challenges and techniques, whitepaper, SQS Software Quality Systems AG, Cologne DE, 2014: http://www.sqs.com/en-group/_download/do-178c_ed-12c.pdf