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

• 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 ...
• Can formal methods make automotive business sense? A classification of formal methods 

  McElligott, Pat; Mjeda, Anila; Thiel, Steffen (SAE International, 2008)

  Legislative bodies are directing that automotive products comply with stringent safety levels. The liability for the safety of passengers in an automobile has traditionally been quite complex. Other transport sectors are ...
• 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 ...
• 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 ...
• A proposed framework for fine-tuning/training a fuzzy controller 

  Mjeda, Anila; Jackman, Brendan; Leen, Gabriel (IEEE Computer Society, 2006)

  This paper proposes a user-friendly methodology to fine-tune a fuzzy controller that was initially designed for an Electrical Power Steering (EPS) system. The suggested methodology takes on board and integrates existing ...