Software Engineering for Real-Time: A Roadmap

* Die Entwicklung einer Systemarchitektur, dass die genaue Spezifikation der Schnittstellen zwischen den Komponenten im Wert Domäne und im zeitlichen Bereich, so dass die Komponenten entwickelt und getestet werden unabhängig unterstützt.
* Die konstruktive Integration bestehender Komponenten in unterschiedlichsten Kontexten System prevalidated.
* Die systematische Validierung ultradependable Echtzeit-Systemen, die in sicherheitskritischen Anwendungen eingesetzt werden.
* Die Entwicklung eines Rahmens, der die generische Implementierung von Fehlertoleranz unterstützt, ohne dabei zusätzliche Komplexität in der Anwendungssoftware.
* Die Ableitung der engen obere Schranken für die worst-case execution time von Echtzeit-Programmen.




Links

Embedded and Real-Time Systems Links
http://www.ifi.unizh.ch/groups/ailab/links/embedded.html

Real-Time Information Repository
http://rtlab.kaist.ac.kr/~sikang/rt/

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

UCI Dream Laboratory
http://dream.eng.uci.edu

Time Triggered Technology
http://www.tttech.com

Carnegie Mellon University, Computer Science
http://www.cs.cmu.edu/text/research/areas.html

MIT Research Groups
http://www.lcs.mit.edu/research/groups/

The University of York, Computer Science Research Topics
http://www.cs.york.ac.uk/gsp/rstopics.html

DARPA ITO Research Areas
http://www.darpa.mil/ito/ResearchAreas.html



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