Software Engineering for Safety: A Roadmap

Key Research Zeiger

* Bereitstellung von leichteren Zugang zu formalen Methoden für Entwickler von sicherheitskritischen Systemen durch eine weitere Integration des informellen und formalen Methoden.
* Entwicklung von besseren Methoden zur Sicherheitsanalyse von Produktfamilien und sichere Wiederverwendung von Commercial-Off-The-Shelf-Software.
* Verbesserung der Prüfung und Bewertung von sicherheitskritischen Systemen durch den Einsatz von bedarfsgerechten Prüfung, Bewertung von mehreren Quellen, Modell Konsistenz und virtuellen Umgebungen.
* Schieben Sie den Einsatz von Runtime-Überwachung zur Feststellung von Störungen und erholen in einen sicheren Zustand, sowie die Systemnutzung Profil Sicherheitsanalysen zu verbessern.
* Förderung der Zusammenarbeit mit verwandten Bereichen, um Fortschritte in Bereichen wie Sicherheit und Überlebensfähigkeit, Softwarearchitektur, Theoretische Informatik, Human Factors Engineering und Software-Engineering-Ausbildung zu nutzen.




Links

WWW-Virtual Library Safety Critical Systems
http://archive.comlab.ox.ac.uk/safety.html

IFIP WG10.4 on Dependable Computing and Fault Tolerance
http://www.dependability.org/wg10.4/

Risks Forum
http://www.csl.sri.com/~risko/risks.html

University of York High Integrity Systems Engineering
http://www.cs.york.ac.uk/hise/

MIT Software Safety Research
http://sunnyday.mit.edu/research.html

NASA Formal Methods
http://eis.jpl.nasa.gov/quality/Formal_Methods/home.html

Distributed Objects & Components: Mobile Agents
http://www.cetus-links.org/oo_mobile_agents.html

The Mobile Agent List
http://mole.informatik.uni-stuttgart.de/mal/mal.html



-> zurück zur Startseite <- | -> Die Zukunft des Software Engineering <- | ->Impressum <-