%0 Journal Article %T SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles %+ Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) %+ CITI Centre of Innovation in Telecommunications and Integration of services (CITI) %A Deantoni, Julien %A Babau, Jean-Philippe %Z ISSN 1633-3586 %< avec comité de lecture %J En vue - Lettre d'information de l'INSA de Lyon %I INSA de lyon %N 26 %8 2009 %D 2009 %Z Computer Science [cs]/Embedded SystemsJournal articles %X The paper sketches how architectural styles can be used as a way to make a high abstraction level model suitable to analysis. %X Cet article de vulgarisation montre comment utiliser des styles architecturaux afin de permettre l'analyse de modèles à haut niveau d'abstraction. %G French %2 https://inria.hal.science/inria-00587097/document %2 https://inria.hal.science/inria-00587097/file/IF_juin_2010_SAIA.pdf %L inria-00587097 %U https://inria.hal.science/inria-00587097 %~ UNICE %~ CNRS %~ INRIA %~ INSA-LYON %~ INRIA-SOPHIA %~ INRIA-ROCQ %~ I3S %~ INRIASO %~ INRIA_TEST %~ AOSTE %~ INRIA-MECSCI %~ TESTALAIN1 %~ INRIA2 %~ UNIV-COTEDAZUR %~ CITI %~ INSA-GROUPE %~ UDL