— In system-level design, the key to cope with the complexities involved with System-on-Chip (SOC) designs, is the reuse of Intellectual Property (IP). With the increasing demand...
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
Christos Dimoulas, Sam Tobin-Hochstadt, Matthias F...
: The Open Reflective Component Architecture (ORCAN) is a component based software platform for Simulation software. It enables to build applications out of runtime exchangeable co...
—The use of commercial electronic components is increasingly attractive for the space domain. This paper discusses the current degree of use of these components in space avionics...
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...