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”!

Informationsqualität in der Produktentwicklung: Modellbasiertes Systems Engineering mit expliziter Berücksichtigung von Unsicherheit/Information Quality in Product Engineering: Model-Based Systems Engineering in Explicit Consideration of Uncertainty

Konstruktion ◽  
2020 ◽  
Vol 72 (11-12) ◽  
pp. 76-83
Author(s):  
Jens Pottebaum ◽  
Iris Gräßler
Keyword(s):  
Systems Engineering ◽  
Information Quality ◽  
Engineering Model ◽  
Model Based ◽  
Product Engineering ◽  
Explicit Consideration ◽  
Model Based Systems Engineering

Inhalt Unscharfe Anforderungen, verschiedene Lösungs-alternativen oder eingeschränkt gültige Simulationsmodelle sind Beispiele für inhärente Unsicherheit in der Produktentwicklung. Im vorliegenden Beitrag wird ein modellbasierter Ansatz vorgestellt, der das industriell etablierte Denken in Sicherheitsfaktoren um qualitative Aspekte ergänzt. Modelle der Informationsqualität helfen, die Unsicherheit von Ent- wicklungsartefakten beschreibend zu charakterisieren. Mittels semantischer Technologien wird Unsicherheit so wirklich handhabbar – nicht im Sinne einer Berechnung, sondern im Sinne einer qualitativen Interpretation. Dadurch entsteht wertvolles Wissen für die iterative Anforderungsanalyse, die Bewertung alternativer System-Architekturen oder für die Rekonfiguration von Simulationen.

scholarly journals An Approach to Complement Model-Based Vehicle Development by Implementing Future Scenarios

2021 ◽  
Vol 12 (3) ◽  
pp. 97
Author(s):  
Christian Raulf ◽  
Moritz Proff ◽  
Tobias Huth ◽  
Thomas Vietor
Keyword(s):  
Systems Engineering ◽  
Holistic Approach ◽  
Future Scenarios ◽  
Worst Case ◽  
System Architectures ◽  
Vehicle Development ◽  
Model Based ◽  
Scenario Technique ◽  
Stakeholder Needs ◽  
Model Based Systems Engineering

Today, vehicle development is already in a process of substantial transformation. Mobility trends can be derived from global megatrends and have a significant influence on the requirements of the developed vehicles. The sociological, technological, economic, ecological, and political developments can be determined by using the scenario technique. The results are recorded in the form of differently shaped scenarios; however, they are mainly document-based. In order to ensure a holistic approach in the sense of model-based systems engineering and to be able to trace the interrelationships of the fast-changing trends and requirements, it is necessary to implement future scenarios in the system model. For this purpose, a method is proposed that enables the consideration of future scenarios in model-based vehicle development. The procedure of the method is presented, and the location of the future scenarios within the system architectures is named. The method is applied and the resulting system views are derived based on the application example of an autonomous people mover. With the help of the described method, it is possible to show the effects of a change of scenario (e.g., best-case and worst-case) and the connections with the highest level of requirements: stakeholder needs.

Implementation Strategy for Seamless Model-based Systems Engineering

ATZ worldwide ◽  
2021 ◽  
Vol 123 (7-8) ◽  
pp. 66-71
Author(s):  
Thorsten Weyer ◽  
Marcel Goger ◽  
Walter Koch ◽  
Birgit Kremer
Keyword(s):  
Systems Engineering ◽  
Implementation Strategy ◽  
Model Based ◽  
Model Based Systems Engineering

scholarly journals USING MODEL-BASED SYSTEMS ENGINEERING FOR NEED-BASED AND CONSISTENT SUPPORT OF THE DESIGN PROCESS

2021 ◽  
Vol 1 ◽  
pp. 3369-3378
Author(s):  
Stephan Husung ◽  
Christian Weber ◽  
Atif Mahboob ◽  
Sven Kleiner
Keyword(s):  
Systems Engineering ◽  
Development Process ◽  
Added Value ◽  
System Level ◽  
System Failure ◽  
Model Based ◽  
Continuous Use ◽  
Model Based Systems Engineering ◽  
Consistent Support ◽  
Modelling Approaches

AbstractModel-Based Systems Engineering (MBSE) is an efficient approach to support product development in order to meet today's challenges. The MBSE approach includes methods and, above all, modelling approaches of the technical system with the aim of continuous use in development. The objective of this paper is to use the potential of the MBSE models and to show the added value of such models on the system level when used as a single source. With this objective, this paper presents a three-step approach to systematically identify and apply meaningful modelling approaches within MBSE, based on the needs during the development process. Furthermore, an FMEA example is included in this paper to elaborate the use of MBSE in the system failure analysis.

3D Technology – Additive Manufacturing Applications and Prospects (Vol. 24, No. 9, Full Issue)

2020 ◽  
Vol 24 (09) ◽  
Keyword(s):  
Additive Manufacturing ◽  
3D Printing ◽  
Environmental Impact ◽  
Real World ◽  
Vaccine Development ◽  
Health Screening ◽  
Wide Range ◽  
The World ◽  
Real World Applications ◽  
Manufacturing Applications

For the month of September 2020, APBN dives into the world of 3D printing and its wide range of real-world applications. Keeping our focus on the topic of the year, the COVID-19 pandemic, we explore the environmental impact of the global outbreak as well as gain insight to the top 5 vaccine platforms used in vaccine development. Discover more about technological advancements and how it is assisting innovation in geriatric health screening.

Sign in / Sign up

Export Citation Format

Share Document