%0 Conference Paper %1 10.1007/978-3-319-64119-5_7 %A Stewart, Danielle %A Whalen, Michael W. %A Cofer, Darren %A Heimdahl, Mats P. E. %B Model-Based Safety and Assessment %C Cham %D 2017 %E Bozzano, Marco %E Papadopoulos, Yiannis %I Springer International Publishing %K aadl model safety %P 97--111 %T Architectural Modeling and Analysis for Safety Engineering %X Architecture description languages such as AADL allow systems engineers to specify the structure of system architectures and perform several analyses over them, including schedulability, resource analysis, and information flow. In addition, they permit system-level requirements to be specified and analyzed early in the development process of airborne and ground-based systems. These tools can also be used to perform safety analysis based on the system architecture and initial functional decomposition. %@ 978-3-319-64119-5

@inproceedings{10.1007/978-3-319-64119-5_7, abstract = {Architecture description languages such as AADL allow systems engineers to specify the structure of system architectures and perform several analyses over them, including schedulability, resource analysis, and information flow. In addition, they permit system-level requirements to be specified and analyzed early in the development process of airborne and ground-based systems. These tools can also be used to perform safety analysis based on the system architecture and initial functional decomposition.}, added-at = {2020-03-20T12:14:39.000+0100}, address = {Cham}, author = {Stewart, Danielle and Whalen, Michael W. and Cofer, Darren and Heimdahl, Mats P. E.}, biburl = {https://www.bibsonomy.org/bibtex/253e2cac8ddbe717c2313f2d1b5bd20a1/maximeb}, booktitle = {Model-Based Safety and Assessment}, editor = {Bozzano, Marco and Papadopoulos, Yiannis}, interhash = {776a6463ab2deb8bf4fcdda1867bda7a}, intrahash = {53e2cac8ddbe717c2313f2d1b5bd20a1}, isbn = {978-3-319-64119-5}, keywords = {aadl model safety}, pages = {97--111}, publisher = {Springer International Publishing}, timestamp = {2020-03-20T12:15:43.000+0100}, title = {Architectural Modeling and Analysis for Safety Engineering}, year = 2017 }