Embedding Formal Methods into Systems Engineering

2009 ◽  
Author(s):  
Helmut Veith
Keyword(s):  
Formal Methods ◽  
Systems Engineering

scholarly journals Formal methods in dependable systems engineering: a survey of professionals from Europe and North America

2020 ◽  
Vol 25 (6) ◽  
pp. 4473-4546
Author(s):  
Mario Gleirscher ◽  
Diego Marmsoler
Keyword(s):  
Formal Methods ◽  
Systems Engineering ◽  
Ease Of Use ◽  
Perceived Usefulness ◽  
Perceived Ease Of Use ◽  
Cross Sectional ◽  
Dependable Systems ◽  
New Directions ◽  
On Line ◽  
Line Survey

Abstract Context Formal methods (FMs) have been around for a while, still being unclear how to leverage their benefits, overcome their challenges, and set new directions for their improvement towards a more successful transfer into practice. Objective We study the use of formal methods in mission-critical software domains, examining industrial and academic views. Method We perform a cross-sectional on-line survey. Results Our results indicate an increased intent to apply FMs in industry, suggesting a positively perceived usefulness. But the results also indicate a negatively perceived ease of use. Scalability, skills, and education seem to be among the key challenges to support this intent. Conclusions We present the largest study of this kind so far (N = 216), and our observations provide valuable insights, highlighting directions for future theoretical and empirical research of formal methods. Our findings are strongly coherent with earlier observations by Austin and Graeme (1993).

scholarly journals More Automated Formal Methods?! If so, why, where & how?

10.29007/k317 ◽  
2018 ◽  
Author(s):  
Arun Chakrapani Rao
Keyword(s):  
Formal Methods ◽  
Systems Engineering ◽  
Real World ◽  
Model Based ◽  
Collective Work ◽  
Key Characteristics ◽  
The World ◽  
Real World Applications ◽  
Future Challenges ◽  
Model Based Systems Engineering

Formal Methods (FM) have been around for decades and many have been improving all the time. Automated formal methods techniques and tools have been making a mark in real world applications across industry domains. So, why and where do we need more automation? How much automation is required? This paper attempts to cover an assessment on where I believe we are, based on my own not-so-limited but diverse enough experience in automated industry-strength formal methods and model based systems engineering area, where we might need to get to and possibly how. Key characteristics of future automation needed for success are outlined. No attempt is made to be exhaustive as the world of FMs is vast and the collective work of FM expert researchers, developers and users is needed for exploration – “to boldly meet future challenges which no FM has ever met before”!

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

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.

Sign in / Sign up

Export Citation Format

Share Document