The Korrigan Environment

KORRIGAN: a Formal ADL with Full Data Types and a Temporal Glue

The KORRIGAN formalism is devoted to the structured formal specification of mixed systems through a model based on a hierarchy of views. In our unifying approach, views are used to describe the different aspects of components (data, behaviours, architecture, communication). While our model is primarily devoted to mixed structured specifications it is a true Architectural Description Language (A...

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation

Our Korrigan formalism is devoted to the structured formal specification of mixed systems through a model based on a hierarchy of views [4, 20]. In our unifying approach, views are used to describe the different aspects of a component (both internal and external structuring). We propose a semi-formal method with guidelines for the development of mixed systems, that helps the specifier providing...

KORRIGAN: Development of GaN HEMT Technology in Europe

This paper reports on the joint multinational initiative KORRIGAN launched in 2005 to accelerate the development of independent GaN HEMT foundries in Europe. The project addresses several key research areas such as materials, processing, reliability, thermal management and advanced packaging solutions. The benefits of GaN technology will be evaluated at system level with the fabrication of circ...

Formal Specification of Mixed Components with Korrigan

Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furthermore, in order to be able to design complex architectures and communication patterns, we need a structured approach which allows us to decompose a system into subparts and to recompose it from them. Finally, a notion...

GaN transistor characterization and modeling activities performed within the frame of the KorriGaN project