Showing items related by title, author, creator and subject.

• CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software 

  Mjeda, Anila; Hinchey, Mike (2013)

  We propose a method tailored to the requirements of safety-critical embedded automotive software, named CTMCONTROL. CTMCONTROL has a particular focus on the specification-based control logic of the system under test and ...
• Standard-compliant testing for safety-related automotive software 

  Mjeda, Anila (University of Limerick, 2013)

  This thesis proposes a new testing method called CTMCONTROL, which enhances the popular Classification Tree Method (CTM) by incorporating Modified Condition/Decision Coverage (MC/DC) capabilities. This brings the CTM closer ...
• UTP semantics for shared-state, concurrent, context-sensitive process models 

  Butterfield, Andrew; Mjeda, Anila; Noll, John (IEEE Computer Society, 2016)

  Process Modelling Language (PML) is a notation for describing software development and business processes. It takes the form of a shared-state concurrent imperative language describing tasks as activities that require ...
• Model-based testing design for embedded automotive software 

  Mjeda, Anila; McElligott, Pat; Ryan, Kevin; Thiel, Steffen (SAE International, 2009)

  The ever increasing complexity of embedded automotive software is not matched by the current development and test processes of automotive embedded software and the latter have become the limiting factor. A model-based ...
• The AUTOSAR standard – the experience of applying Simulink according to its requirements 

  Mjeda, Anila; Leen, Gabriel; Walsh, Eamonn (SAE, 2007)

  Software has become the driving force behind innovation in the automotive industry. According to a recent Frost & Sullivan market research report, “Strategic Analysis of the European Market for Software in Passenger ...