Modeling Off-Nominal Behavior in SysML

@inproceedings{Day2012ModelingOB,
  title={Modeling Off-Nominal Behavior in SysML},
  author={John C. Day and Kenneth Donahue and Michel D. Ingham and Alexander Kadesch and Andrew Kennedy and Ethan Post},
  booktitle={Infotech@Aerospace},
  year={2012}
}
Fault Management is an essential part of the system engineering process that is limited in its effectiveness by the ad hoc nature of the applied approaches and methods. Providing a rigorous way to develop and describe off-nominal behavior is a necessary step in the improvement of fault management, and as a result, will enable safe, reliable and available systems even as system complexity increases... The basic concepts described in this paper provide a foundation to build a larger set of… Expand
Automated Generation of Fault Management Artifacts from a Simple System Model
Our understanding of off-nominal behavior - failure modes and fault propagation - in complex systems is often based purely on engineering intuition; specific cases are assessed in an ad hoc fashionExpand
Exposing the susceptibility of off-nominal behaviors in reactive system requirements
  • Daniel Aceituna, Hyunsook Do
  • Engineering, Computer Science
  • 2015 IEEE 23rd International Requirements Engineering Conference (RE)
  • 2015
TLDR
A semi-automated approach, based on the causal component model (CCM), which can expose, within a set of requirements, whether ONBs can result in undesired system states and can supply information in correcting requirements is presented. Expand
An Artificial Intelligence-Based Model-Driven Approach for Exposing Off-Nominal Behaviors
  • Kaushik Madala
  • Computer Science
  • 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
  • 2019
TLDR
This work proposes an artificial intelligence-based model-driven methodology that provides a means to find ONBs during requirements engineering with minimal human effort, and utilizes existing approaches such as causal component model (CCM) and systems theoretic process analysis (STPA). Expand
A Model-based Approach to Engineering Behavior of Complex Aerospace Systems
TLDR
The approach to modeling spacecraft behavior including requirements and design flowdown from system-level to subsystem-level, patterns for behavior decomposition, 3) allocation of behaviors to physical elements in the system, and 4) patterns for capturing V&V activities associated with behavioral requirements are discussed. Expand
Addressing the state explosion problem when visualizing off-nominal behaviors in a set of reactive requirements
TLDR
The causal scenario model (CSM) is introduced, which uses the same rule-based approach, while addressing the state explosion problem associated with CCM and provides a visually concise alternative to CCM. Expand
A Combinatorial Approach for Exposing Off-Nominal Behaviors
TLDR
A combinatorial–based approach, Combinatorial Causal Component Model (Combi-CCM), which uses structured requirements patterns and combinations generated using the IPOG algorithm to address off-nominal behaviors (ONB) problems. Expand
SACC - A property driven approach to expose undesired behaviors among system’s components
TLDR
This work proposes a property-driven approach called safety assessment for concurrent components (SACC), which uses a combinatorial technique that considers the requirements specification of a system, expressed as the states and properties of the system’s components for identifying undesired combinations of component behaviors. Expand
Hierarchical Model Exploration for Exposing Off-nominal Behaviors
TLDR
The results of the case study indicate that the proposed approach reduces the state/rule explosion problem and detects off-nominal behaviors. Expand
Implementation of Fault Management Capabilities for the Flying Laptop Small Satellite Project through a Failure-Aware System Model
At the Institute of Space Systems at the University of Stuttgart, Germany, a team of doctoral students is currently developing the small satellite Flying Laptop. The design has been performedExpand
A Tool for Model-Based Generation of Scenario-driven Electric Power Load Profiles
Power consumption during all phases of spacecraft flight is of great interest to the aerospace community. As a result, significant analysis effort is exerted to understand the rates of electricalExpand
...
1
2
...

References

SHOWING 1-8 OF 8 REFERENCES
Automatic synthesis of dynamic fault trees from UML system models
  • Ganesh J. Pai, J. Dugan
  • Computer Science
  • 13th International Symposium on Software Reliability Engineering, 2002. Proceedings.
  • 2002
TLDR
A framework for modeling computer-based systems, based on the Unified Modeling Language (UML), that facilitates automated dependability analysis during design is described and an algorithm to automatically synthesize dynamic fault trees (DFTs) from the UML system model is developed. Expand
Toward a model-based approach to flight system fault protection
Fault Protection (FP) is a distinct and separate systems engineering sub-discipline that is concerned with the off-nominal behavior of a system. Flight system fault protection is an important part ofExpand
Engineering Complex Embedded Systems with State Analysis and the Mission Data System
TLDR
How requirements for complex aerospace systems can be developed using State Analysis and how these requirements inform the design of the system software are described, using representative spacecraft examples. Expand
An ontology for State Analysis: Formalizing the mapping to SysML
TLDR
This paper will discuss the method used to develop formalisms (the ontology), the formalisms themselves, the mapping to SysML and approach to using these formalisms to specify a control system and enforce architectural constraints in a Sys ML model. Expand
Conceptual Framework for a Fault Management Design Methodology
TLDR
Improvements to FM terminology, the concept of FM as an extension of control theory, a top-down design and design assessment methodology tied to classical systems engineering concepts, interoperable representations that bridge between classical nominal and off-nominal techniques, and analyses that draw from many sources but create new information to assess FM design characteristics are described. Expand
Update - concept of operations for Integrated Model-Centric Engineering at JPL
TLDR
The most promising approach today is the movement toward a more integrated and model-centric approach to mission conception, design, implementation and operations, which elevates engineering models to a principal role in systems engineering, gradually replacing traditional document-centric engineering practices. Expand
Transforming OWL2 Ontologies into Profiles Extending the
SysM L
  • International Symposium on Software Reliability Engineering,
  • 2002