A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-17581-2_9 ◽

2015 ◽

pp. 127-141 ◽

Cited By ~ 4

Author(s):

Jaco Jacobs ◽

Andrew Simpson

Keyword(s):

Systems Engineering ◽

Formal Model

Download Full-text

Two Applications of Design As a Sequential Decision Process

Volume 2A: 43rd Design Automation Conference ◽

10.1115/detc2017-68150 ◽

2017 ◽

Cited By ~ 3

Author(s):

Simon W. Miller ◽

Timothy W. Simpson ◽

Michael A. Yukish

Keyword(s):

Systems Engineering ◽

Decision Process ◽

Formal Model ◽

Solution Space ◽

Design Solution ◽

Sequential Decision ◽

Sequential Decision Process ◽

Tightly Coupled ◽

Set Based Design ◽

Future Work

A promising approach to overcome the challenges of exploring a design solution space is to employ Set-Based Design tightly coupled to Model-Based Systems Engineering, and to treat the design process formally as a sequential decision process. In such a paradigm, designers start with an initial set of potential solutions, using lower fidelity models and analyses to winnow the set, with the process sequentially advancing through smaller sets of alternatives using models/analyses of ever increasing fidelity. The bounds around a solution are constricted until a candidate is chosen. This sequential decision process can itself be subjected to analysis, and optimized to most efficiently arrive the final choice. We have developed a formal model of Design as a Sequential Decision Process, and we illustrate the process through two examples. The examples are from two different design problem domains (finite element modeling with variable grid fidelity, bi-level optimization with combinatorial kernel) thus demonstrating the broad utility of the method. Ongoing and future work are also discussed.

Download Full-text

Abstraction: An alternative neurocognitive account of recognition, prediction, and decision making

Behavioral and Brain Sciences ◽

10.1017/s0140525x19003017 ◽

2020 ◽

Vol 43 ◽

Author(s):

Valerie F. Reyna ◽

David A. Broniatowski

Keyword(s):

Decision Making ◽

Software Engineering ◽

Systems Engineering ◽

Evidence Based ◽

Extensive Literature ◽

Trace Theory ◽

Fuzzy Trace Theory ◽

Abstract Representations ◽

Technical Systems

Abstract Gilead et al. offer a thoughtful and much-needed treatment of abstraction. However, it fails to build on an extensive literature on abstraction, representational diversity, neurocognition, and psychopathology that provides important constraints and alternative evidence-based conceptions. We draw on conceptions in software engineering, socio-technical systems engineering, and a neurocognitive theory with abstract representations of gist at its core, fuzzy-trace theory.

Download Full-text