Learn More
We present an evolution of the Coq module system where we unify both structure (i.e. module implementation) and signature (i.e. module interface) into a single concept called <i>theory</i>. In order to easily derive theories, we equip our system with three theory combinators: application, inclusion and refinement. In this work we also isolate a new notion(More)
—The paper describes a pragmatic solution to the parallel execution of hard real-time tasks on off-the-shelf embedded multiprocessors. We propose a simple timing isolation protocol allowing computational tasks to communicate with hard real-time ones. Excellent parallel resource utilization can be achieved while preserving timing compositionality. An(More)
Designing software architectures and optimizing them based on extra-functional properties (EFPs) require to identify appropriate design decisions and to apply them on valid architectural elements. Software designers have to check whether the resulting architecture fulfills the requirements and how it positively improves (possibly conflicting) EFPs. In(More)
  • 1