Modelling DO178C Assurance Needs: A Design Assurance LevelSensitive DSL Avionics systems are relying more on software to control their behaviour. However, engineering such software is a complex task. Even more so due to their safetycritical nature. Aviation authorities require suppliers to provide appropriate safety assurance through the certification of compliance with DO178C to a determined software design assurance level. Such a concern is leading the avionics software industry to consider and incorporate effective engineering methods that can support them in their certification endeavours. This paper presents a domain specific modelling language (DSML) providing a documentation infrastructure that enforces certification information mandated by DO178C and its supplements according with the softwareu0027s design assurance level. Focus is given to the conceptual model of DO178C and its supplements, which lies behind the proposed DSML to support the features it delivers. The DSML was built and implemented as a UML profile. Three different use cases for the DSML are illustrated in an avionics case study.

SecML: A Proposed Modeling Language for CyberSecurity Cybersecurity is a comparatively new discipline, related to computer science, electrical engineering, and similar subjects. As a newer discipline it lacks some of the tools found in more established subject areas. As one example, many engineering disciplines have modeling languages specific for that engineering discipline. As two examples, software engineering utilizes Unified Modeling Language (UML) and systems engineering uses System Modeling Language (SysML). Cybersecurity engineering lacks such a generalized modeling language. Cybersecurity as a profession would be enhanced with a security specific modeling language. This paper describes such a modeling language. The model is described in sufficient detail to be actionable and applicable. However, suggestions for future work are also provided.