Modeling and Validation of ARINC653 architectures

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

The Architecture Analysis & Design Language (AADL): An Introduction

Peter H. Feiler, David P. Gluch, John Hudak · Figshare · 2006 · 501 citations · Full text

Engineering, Aerospace Engineering, Systems Engineering +17

The AADL behaviour annex -- experiments and roadmap

Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali et al. · 2007 · 94 citations

Computing, Aerospace Engineering, Computer Science +12

Flow Latency Analysis with the Architecture Analysis and Design Language (AADL)

Peter H. Feiler, Jörgen Hansson · Figshare · 2008 · 60 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Software dependability modeling using an industry-standard architecture description language

Ana‐Elena Rugina, Peter H. Feiler, Karama Kanoun et al. · ArXiv.org · 2008 · 20 citations · Full text

Computing, Computer Systems, Systems Engineering +17