Méthode et langages pour la spécification des systèmes complexes

摘要

Taking advanced industrial applications as case studies, this article sets out a methodology for specifying and designing complex electronic systems. The methodology derives from the authors' work on research and applications. It covers compilation of comprehensive accurate documentation and includes allowance for maintainability and co-design flexibility (system layout considerations).%A travers des applications industrielles de pointe, cet article présente une méthodologie pour la spécification et la conception des systèmes électroniques complexes. Elle est le résultat d'un ensemble de travaux de recherches et d'applications engagés par les participants à cette rédaction. Cette méthode permet particulièrement d'élaborer des documentations précises, de prendre en compte des aspects de maintenabilité, et offre une souplesse quant à l'investigation de l'espace d'implantation du système (co-design).