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

Author(s):  
Werner Damm
10.28945/3153 ◽  
2007 ◽  
Author(s):  
Grandon Gill ◽  
Anol Bhattacherjee

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.


2006 ◽  
Vol 16 (1) ◽  
pp. 621-635
Author(s):  
Herbert Negele ◽  
Reinhard Schmidt ◽  
Stephan Finkel ◽  
Stefan Wenzel

Author(s):  
Sauro Succi ◽  
Peter V. Coveney

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’.


2007 ◽  
Vol 49 (2) ◽  
Author(s):  
Bernd Becker ◽  
Andreas Podelski ◽  
Werner Damm ◽  
Martin Fränzle ◽  
Ernst-Rüdiger Olderog ◽  
...  

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.


Author(s):  
Veronica Keiffer-Lewis

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.


Author(s):  
Hal W. Hendrick

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