Early Fault Detection in Industry Using Models at Various Abstraction Levels

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging

“…Our goal is to investigate ways to provide early fault detection (see, e.g., [11]) when developing industrial software using DSLs. Program verification techniques often focus on implementation code, and heavily depend on abstraction techniques.…”

Collective understanding of system behavior : incorporating simulations in conceptual systems design

“…This resulted in identification of four types of conceptual system design processes, which either concern a new system, a system redesign, a subsystem rede- [Borches, 2010, p92] 3D CAD Model [Hooman et al, 2012] SysML block definition diagrams [Topper and Horner, 2013] Bill of Materials (see Interview 1, Appendix A) Quantification Budgets [Bonnema, 2008, p64, Freriks et al, 2006 Quantifying Key Parameters [Borches, 2010, p92] Operational Scenarios, event flows and other behavioral models, see Table 2.5 Story telling [Muller, 2004] Overall System Concern Figure 3.5 -Views describing a system architecture in the conceptual system design stage sign or a component update. Additionally, various design questions that need to be answered during conceptual system design were discussed.…”

“…Examples of discrete event approaches are Analytical Software Design (ASD) [Broadfoot, 2005], Colored Petri-Nets (CPN) [Wang and Dagli, 2011] or POOSL [Putten and Voeten, 1997]. However, ASD does not support simulations [Hooman et al, 2012] and is used more for formal verification. [Hooman et al, 2012] also note that POOSL is more suited to gain initial insight in the structure and interaction between components.…”

“…However, ASD does not support simulations [Hooman et al, 2012] and is used more for formal verification. [Hooman et al, 2012] also note that POOSL is more suited to gain initial insight in the structure and interaction between components. [Wang and Dagli, 2011] show an application to simulate system models defined in SysML with CPN.…”

“…Such a rule-based simulation checking for transition conditions helps to uncover how a system reacts to certain inputs. Eventually, these types of models also allow model based verification of a set of requirements [Hooman et al, 2012]. This can be summarized in the following guideline: Guideline 9; when considering the behavior of a system across states, both the behavior of a system in that state, as well as the possible transitions to other states should be subject of interest.…”