{"id":"https://openalex.org/W2788582659","doi":"https://doi.org/10.1145/3172871.3172877","title":"Safety Validation Using AADL System Architecture Models","display_name":"Safety Validation Using AADL System Architecture Models","publication_year":2018,"publication_date":"2018-02-09","ids":{"openalex":"https://openalex.org/W2788582659","doi":"https://doi.org/10.1145/3172871.3172877","mag":"2788582659"},"language":"en","primary_location":{"id":"doi:10.1145/3172871.3172877","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3172871.3172877","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th Innovations in Software Engineering Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046023797","display_name":"Gracy Philip","orcid":null},"institutions":[{"id":"https://openalex.org/I4210125149","display_name":"Centre for Military Airworthiness and Certification","ror":"https://ror.org/035mr2h79","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1340206300","https://openalex.org/I4210125149","https://openalex.org/I4210150591"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Gracy Philip","raw_affiliation_strings":["CEMILAC-DRDO, Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEMILAC-DRDO, Bangalore, India","institution_ids":["https://openalex.org/I4210125149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030866212","display_name":"Varsha P Suresh","orcid":"https://orcid.org/0000-0003-1756-4438"},"institutions":[{"id":"https://openalex.org/I181514455","display_name":"International Institute of Information Technology Bangalore","ror":"https://ror.org/05h9eqy10","country_code":"IN","type":"education","lineage":["https://openalex.org/I181514455"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Varsha P. Suresh","raw_affiliation_strings":["IIIT-Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIT-Bangalore, India","institution_ids":["https://openalex.org/I181514455"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028932016","display_name":"Meenakshi D\u2019Souza","orcid":"https://orcid.org/0000-0003-3640-6240"},"institutions":[{"id":"https://openalex.org/I181514455","display_name":"International Institute of Information Technology Bangalore","ror":"https://ror.org/05h9eqy10","country_code":"IN","type":"education","lineage":["https://openalex.org/I181514455"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Meenakshi D'Souza","raw_affiliation_strings":["IIIT-Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIT-Bangalore, India","institution_ids":["https://openalex.org/I181514455"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.02827351,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6792740821838379},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.6079532504081726},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.49258071184158325},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4918367862701416},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.461538165807724},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.4594389796257019},{"id":"https://openalex.org/keywords/architecture-description-language","display_name":"Architecture description language","score":0.4575584828853607},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.37700027227401733},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.34895533323287964},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.33267340064048767},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32697999477386475},{"id":"https://openalex.org/keywords/reference-architecture","display_name":"Reference architecture","score":0.23620742559432983},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18968698382377625}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6792740821838379},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.6079532504081726},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.49258071184158325},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4918367862701416},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.461538165807724},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.4594389796257019},{"id":"https://openalex.org/C185245429","wikidata":"https://www.wikidata.org/wiki/Q362356","display_name":"Architecture description language","level":5,"score":0.4575584828853607},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37700027227401733},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.34895533323287964},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.33267340064048767},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32697999477386475},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.23620742559432983},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18968698382377625},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3172871.3172877","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3172871.3172877","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th Innovations in Software Engineering Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W72684053","https://openalex.org/W88653017","https://openalex.org/W1975124672","https://openalex.org/W1975333633","https://openalex.org/W2029254184","https://openalex.org/W2083076268","https://openalex.org/W2111874101","https://openalex.org/W2113417531","https://openalex.org/W2121337044","https://openalex.org/W2130966309","https://openalex.org/W2135619665","https://openalex.org/W2142559087","https://openalex.org/W2314125961","https://openalex.org/W2483098225","https://openalex.org/W2767629575","https://openalex.org/W3165744266","https://openalex.org/W4234414779"],"related_works":["https://openalex.org/W1544976691","https://openalex.org/W2978816602","https://openalex.org/W2199167515","https://openalex.org/W4248387524","https://openalex.org/W1911386096","https://openalex.org/W39645217","https://openalex.org/W2740060042","https://openalex.org/W3213161835","https://openalex.org/W2339919690","https://openalex.org/W2350969759"],"abstract_inverted_index":{"Most":[0],"of":[1,18,24,30,42,79,135,146,169],"the":[2,28],"embedded":[3],"systems":[4,20],"used":[5,154],"in":[6,14,27,77,142,161],"avionics":[7],"and":[8,32,73,97,111,124,140],"automotive":[9],"industries":[10],"are":[11,21],"safety":[12,53,98,133,157,170],"critical":[13,54],"nature.":[15],"Safety":[16],"validation":[17,158,171],"these":[19,147],"challenging":[22],"inspite":[23],"significant":[25],"advances":[26],"field":[29],"system":[31,43,62,95,131,156],"software":[33,90],"engineering.":[34],"In":[35],"our":[36],"previous":[37],"work,":[38],"real":[39],"time":[40],"monitoring":[41],"level":[44],"parameters":[45,65],"at":[46,139],"hardware-software":[47],"integration":[48],"test":[49,149,172],"environment":[50],"could":[51,57,83,100,152],"capture":[52],"errors,":[55],"which":[56,151],"have":[58,84],"led":[59],"to":[60,66],"hazardous":[61],"behaviour.":[63,180],"However,":[64],"be":[67,153],"monitored":[68],"were":[69,120],"captured":[70],"from":[71,132,174],"design":[72],"coding":[74],"phase,":[75],"resulted":[76],"lot":[78],"rework.":[80],"The":[81,181],"situation":[82],"been":[85],"avoided":[86],"if":[87],"model":[88,176,190],"based":[89],"engineering":[91],"was":[92,137],"followed,":[93],"wherein":[94],"engineer":[96],"analyst":[99],"base":[101],"their":[102],"work":[103],"on":[104,166],"a":[105,125,130,187],"common":[106],"model.":[107],"Hence,":[108],"architecture":[109],"Analysis":[110],"Design":[112],"Language":[113],"(AADL)":[114],"along":[115],"with":[116,178,185],"its":[117],"error":[118,179],"annex":[119],"selected":[121],"for":[122,128,155],"modelling":[123,129],"systematic":[126],"method":[127,182],"point":[134],"view":[136],"arrived":[138],"reported":[141],"[7].":[143],"But":[144],"translation":[145],"into":[148],"cases":[150,173],"is":[159,183],"still":[160],"infancy.":[162],"This":[163],"paper":[164],"focuses":[165],"automatic":[167],"generation":[168],"AADL":[175,189],"enriched":[177],"presented":[184],"Isolette,":[186],"well-known":[188],"case":[191],"study.":[192]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}