Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Hudak, John J."'
Autor:
Gluch, David, Cornella-Dordo, Santiago, Hudak, John J., Lewis, Grace A., Weinstock, Charles B.
This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification. Expected properties are natural language statements that express characteristics of the behavior of a syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1abc7ab46d532d9591110c5c440ebcf8
Many large software systems display fragility or a lack of dependability caused by inattention to details at various stages of development (e.g., missing data, undocumented assumptions, lack of testing), resulting in a failure to catch errors. This t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1aecab9d1c8a6228cd639d015bf8d35
Safety-critical software-reliant systems must manage component failures and conditions of anomalous interaction among components as hazards that affect a system's safety, reliability, and security so the potential effects of hazards on system operati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d362ecdfde9cb5c69a23eab8ce75e4b1
SAE Standard Aerospace Recommended Practice (ARP) 4761, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, provides general guidance on evaluating the safety aspects of a design and identifies
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::296ddcc7a13a83b67b075dd0677a07df
Autor:
Anderson, William, Andrews, Archie D., Brown, Nanette, Cohen, Cory, Craig, Christopher, Daly, Tim, Niz, Dionisio De, Diaz-Pace, Andres, Feiler, Peter H., Fisher, David, Gluch, David, Hansen, Jeffrey, Jorgen Hansson, Hudak, John J., Lakshmanan, Karthik, Linger, Richard C., Lipson, Howard, Moreno, Gabriel A., Morris, Edwin J., Mutlu, Onur, Nord, Robert, Ipek Ozkaya, Plakosh, Daniel, Pleszkoch, Mark G, Rajkumar, Raj, Seibel, Joe, Soumya Simanta, Weinstock, Charles B.
The Software Engineering Institute (SEI) annually undertakes several independent research and development (IRAD) projects. These projects serve to (1) support feasibility studies investigating whether further work by the SEI would be of potential ben
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f8095f83432a05888815ee0572573bf
Autor:
Bass, Len, Niz, Dionisio De, Jorgen Hansson, Hudak, John J., Feiler, Peter H., Firesmith, Donald, Klein, Mark H., Kontogiannis, Kostas, Lewis, Grace A., Litoiu, Marin, Plakosh, Daniel, Schuster, Stefan, Lui Sha, Smith, Dennis B., Wallnau, Kurt C.
The Software Engineering Institute (SEI) annually undertakes several independent research and development (IRAD) projects. These projects serve to (1) support feasibility studies investigating whether further work by the SEI would be of potential ben
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::40c8e36aaea11c704a55fda52242a529
Autor:
Hudak, John J., Feiler, Peter H.
This document is a guide to help practitioners using the Architecture Analysis and Design Language (AADL), an international industry standard for the model-based engineering of real-time and embedded systems. The primary goal of this document is to d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::36ce6b49364b843b64069e55c35c0954
In November 2004, the Society of Automotive Engineers (SAE) released the aerospace standard AS5506, named the Architecture Analysis & Design Language (AADL). The AADL is a modeling language that supports early and repeated analyses of a system's arch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::017c62734f8b79aa030033c1d1be08a1
https://doi.org/10.21236/ada455842
https://doi.org/10.21236/ada455842
Autor:
Chaki, Sagar, Collins, Rosann W., Feiler, Peter H., Goodenough, John, Greenhouse, Aaron, Jorgen Hansson, Hevner, Alan R., Hudak, John J., Jordan, Angel, Kazman, Rick, Linger, Richard C., Pleszkoch, Mark G, Prowell, Stacy J., Sharygina, Natasha, Wallnau, Kurt C., Walton, Gwendolyn, Weinstock, Charles B., Wrage, Lutz
Each year, the Software Engineering Institute (SEI) undertakes several Independent Research and Development (IR&D) projects. These projects serve to (1) support feasibility studies investigating whether further work by the SEI would be of potential b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::80bb8b457346e138c6a88bdbf69ebb76
The emerging Society of Automotive Engineers Architecture Analysis and Design Language (AADL) standard is an architecture modeling language for real-time, fault-tolerant, scalable, embedded, multiprocessor systems. It enables the development and pred
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37be99719ce74cb3fdff9ac410c59019