Links
Deutschland
- Echtzeitprogrammiersprache PEARL, IEP Langenhagen
http://www.pearl90.de/ - Echtzeitbetriebssystem RTOS-UH, IEP Langenhagen
http://rtos.iep.de/ - esd electronic system design gmbh
https://esd.eu/de - IEP GmbH
http://www.iep.de/ - Ada Deutschland
http://www.ada-deutschland.de/ - Real-Time Training Board
RTTB der Firma IEP
DIN-Norm
- DIN 66253 Informationsverarbeitung - Programmiersprache PEARL - SafePEARL
https://www.din.de/de/wdc-beuth:din21:284094216
Vornormen:
DIN 66253, Teil 1, Basic PEARL, 1981
DIN 66253, Teil 2, Full PEARL, 1982
DIN 66253, Teil 3, Mehrrechner-PEARL, 1988
DIN 66253, Teil 2, PEARL 90, 1998 - DIN-Normenausschuss
NIA-01-22 "Programmiersprachen"
International
- Artificial Intelligence Lab Zurich (Archive)
http://www.ifi.uzh.ch/ailab.html - Robotics and Perception Group UZH Zurich
http://www.ifi.uzh.ch/en/rpg.html - embedded.com
http://www.embedded.com/ - SRI International Computer Science Laboratory
http://www.csl.sri.com/ - The Risks Digest
http://catless.ncl.ac.uk/Risks - Safety Critical Systems
http://formalmethods.wikia.com/wiki/Safety-critical_systems - MIT: System Safety and Software Engineering Research Papers
http://sunnyday.mit.edu/papers.html
letzte Zugriffe: März 2018