AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned

2015 ◽  
pp. 18-19
Author(s):  
Werner Damm
Keyword(s):  
Complex Systems ◽  
Lessons Learned ◽  
Automatic Verification

How lessons learned from using QFD led to the evolution of a process for creating quality requirements for complex systems

2007 ◽  
Vol 10 (1) ◽  
pp. 45-63 ◽  
Author(s):  
Amihud Hari ◽  
Joseph E. Kasser ◽  
Menachem P. Weiss
Keyword(s):  
Complex Systems ◽  
Lessons Learned ◽  
Quality Requirements

scholarly journals The Informing Sciences at a Crossroads: The Role of the Client

10.28945/3153 ◽  
2007 ◽  
Author(s):  
Grandon Gill ◽  
Anol Bhattacherjee
Keyword(s):  
Complex Systems ◽  
Essential Elements ◽  
Lessons Learned ◽  
Two Systems ◽  
Degree Of Overlap

The essential elements of an informing system are a sender, a communications pathway, and a client. Academic informing systems, however, are best viewed as two interacting informing systems, one that informs clients of a discipline, one that informs clients of the institution. The paper proposes that the greater the degree of overlap between the clients of these two systems, the stronger the position of an individual discipline is likely to be. MIS is presented as an example of a disciplinary informing system that has ceased to inform external clients. This situation, it is argued, is likely to result in the discipline's downfall. The informing sciences transdiscipline itself is then examined using the same lens. While much younger than MIS, the paper argues that informing sciences needs to begin its search for clients in earnest. Building upon lessons learned from another transdiscipline, complex systems, a series of concrete recommendations are presented.

4.4.2 Lessons Learned from Synchronizing Complex Systems Development within Automotive Industry

2006 ◽  
Vol 16 (1) ◽  
pp. 621-635
Author(s):  
Herbert Negele ◽  
Reinhard Schmidt ◽  
Stephan Finkel ◽  
Stefan Wenzel
Keyword(s):  
Complex Systems ◽  
Automotive Industry ◽  
Systems Development ◽  
Lessons Learned

scholarly journals Big data: the end of the scientific method?

2019 ◽  
Vol 377 (2142) ◽  
pp. 20180145 ◽  
Author(s):  
Sauro Succi ◽  
Peter V. Coveney
Keyword(s):  
Big Data ◽  
Complex Systems ◽  
Scientific Method ◽  
Lessons Learned ◽  
Theme Issue ◽  
Saint Ignatius Of Loyola ◽  
Multi Scale ◽  
Scale Modelling ◽  
Modelling Simulation ◽  
Non Locality

For it is not the abundance of knowledge, but the interior feeling and taste of things, which is accustomed to satisfy the desire of the soul.(Saint Ignatius of Loyola).We argue that the boldest claims of big data (BD) are in need of revision and toning-down, in view of a few basic lessons learned from the science of complex systems. We point out that, once the most extravagant claims of BD are properly discarded, a synergistic merging of BD with big theory offers considerable potential to spawn a new scientific paradigm capable of overcoming some of the major barriers confronted by the modern scientific method originating with Galileo. These obstacles are due to the presence of nonlinearity, non-locality and hyperdimensions which one encounters frequently in multi-scale modelling of complex systems.This article is part of the theme issue ‘Multiscale modelling, simulation and computing: from the desktop to the exascale’.

SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme)

2007 ◽  
Vol 49 (2) ◽  
Author(s):  
Bernd Becker ◽  
Andreas Podelski ◽  
Werner Damm ◽  
Martin Fränzle ◽  
Ernst-Rüdiger Olderog ◽  
...  
Keyword(s):  
Complex Systems ◽  
Collaborative Research ◽  
Transportation Systems ◽  
Automatic Verification ◽  
Research Center ◽  
Research Directions ◽  
Safety Requirements ◽  
German Science ◽  
German Science Foundation

The Transregional Collaborative Research Center AVACS integrates the three sites Freiburg, Oldenburg, and Saarbrücken, and addresses the challenge of pushing the borderline for automatic verification and analysis of complex systems. A particular focus of the project is on models of complex transportation systems and their safety requirements. AVACS is organized in ten subprojects, each teaming researchers from all sites, and is funded by the German Science Foundation since January 1, 2004. This article surveys scope, organization, and research directions of AVACS, including pointers to key publications.

Finding a Way In

2019 ◽  
pp. 104-124
Author(s):  
Veronica Keiffer-Lewis
Keyword(s):  
Higher Education ◽  
Complex Systems ◽  
Deep Understanding ◽  
Lessons Learned ◽  
Starting Point

Dialogue is central to the process of deep understanding and to building true communities that not only respect cultural and spiritual/faith differences but also excel and thrive at intrapersonal, interpersonal, institutional, and cultural levels because of those differences. Although the benefits of dialogue as a pathway to authentic interfaith and intercultural communities are well documented, dialogue is not easy to develop and sustain within complex systems, such as healthcare and higher education. Thus, when dialogue as a means for deeper intercultural or interfaith understanding has not been readily agreed to by participants, the challenges met along the dialogic pathway can be difficult to sell. Following a review of the foundational literature pertaining to calling-out and calling-in, this chapter examines the lessons learned from teaching the praxis of calling-in versus calling-out as a starting point for the development and maintenance of dialogue across differences within complex systems.

Human Factors in Organizational Complexity

2009 ◽  
Vol 53 (16) ◽  
pp. 1026-1027
Author(s):  
Hal W. Hendrick
Keyword(s):  
Complex Systems ◽  
Human Factors ◽  
Lessons Learned ◽  
Sociotechnical Systems ◽  
International Level ◽  
National Program ◽  
Organizational Complexity ◽  
Systems Model ◽  
Successes And Failures

Competitive demand for more rapidly responsive and flexible organizational designs has created new demands for human factors application – particularly at the macroergonomic level. This invited symposium presents four papers that provide different perspectives and understandings of the human factors aspects of organizational complexity. These include a sociotechnical systems model of organizational complexity and its relation to employee complexity, organizational complexity and communications, lessons learned from complex systems' successes and failures, and a case study of the expansion of a company's national program to the international level.

Sign in / Sign up

Export Citation Format

Share Document