System Modeling LanguagesExplores the significance of System Modeling Languages like OPM, SysML, and Modelica in modern Systems Engineering.
Telecommand System RequirementsCovers the requirements and functions of a telecommand system in spacecraft, including uploading programs and controlling spacecraft operations.
Trustworthy Systems ResearchDiscusses the need for proven trustworthiness in computer systems and the rigorous approach to achieving true trustworthiness in critical systems.