{"id":"https://openalex.org/W3211463286","doi":"https://doi.org/10.1109/dac18074.2021.9586208","title":"Requirement Specification, Analysis and Verification for Autonomous Systems","display_name":"Requirement Specification, Analysis and Verification for Autonomous Systems","publication_year":2021,"publication_date":"2021-11-08","ids":{"openalex":"https://openalex.org/W3211463286","doi":"https://doi.org/10.1109/dac18074.2021.9586208","mag":"3211463286"},"language":"en","primary_location":{"id":"doi:10.1109/dac18074.2021.9586208","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac18074.2021.9586208","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 58th ACM/IEEE Design Automation Conference (DAC)","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/A5006764452","display_name":"Alessandro Pinto","orcid":"https://orcid.org/0000-0001-8308-311X"},"institutions":[{"id":"https://openalex.org/I1306686416","display_name":"RTX (United States)","ror":"https://ror.org/0354t7b78","country_code":"US","type":"company","lineage":["https://openalex.org/I1306686416"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alessandro Pinto","raw_affiliation_strings":["Intelligent Systems Raytheon Technologies Research Center, Berkeley, CA"],"affiliations":[{"raw_affiliation_string":"Intelligent Systems Raytheon Technologies Research Center, Berkeley, CA","institution_ids":["https://openalex.org/I1306686416"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5006764452"],"corresponding_institution_ids":["https://openalex.org/I1306686416"],"apc_list":null,"apc_paid":null,"fwci":1.81,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.85312585,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"277","issue":null,"first_page":"1315","last_page":"1318"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9977999925613403,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9977999925613403,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.8382219672203064},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7519111633300781},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5725113153457642},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5501669645309448},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.49753931164741516},{"id":"https://openalex.org/keywords/systems-analysis","display_name":"Systems analysis","score":0.4773285984992981},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4630899727344513},{"id":"https://openalex.org/keywords/systems-design","display_name":"Systems design","score":0.45834824442863464},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.4534289538860321},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.43212494254112244},{"id":"https://openalex.org/keywords/system-requirements","display_name":"System requirements","score":0.4100794494152069},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17663896083831787},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15304633975028992},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1013791561126709}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.8382219672203064},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7519111633300781},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5725113153457642},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5501669645309448},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.49753931164741516},{"id":"https://openalex.org/C24119478","wikidata":"https://www.wikidata.org/wiki/Q679871","display_name":"Systems analysis","level":2,"score":0.4773285984992981},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4630899727344513},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.45834824442863464},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4534289538860321},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.43212494254112244},{"id":"https://openalex.org/C40398212","wikidata":"https://www.wikidata.org/wiki/Q2275513","display_name":"System requirements","level":2,"score":0.4100794494152069},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17663896083831787},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15304633975028992},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1013791561126709},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dac18074.2021.9586208","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac18074.2021.9586208","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 58th ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1900231886","https://openalex.org/W1976031545","https://openalex.org/W1980079693","https://openalex.org/W1991650963","https://openalex.org/W2064201814","https://openalex.org/W2129474837","https://openalex.org/W2131328487","https://openalex.org/W2138512963","https://openalex.org/W2138876988","https://openalex.org/W2146948159","https://openalex.org/W2169924623","https://openalex.org/W2604347212","https://openalex.org/W2798302089","https://openalex.org/W2883145010","https://openalex.org/W2966616682","https://openalex.org/W2992884799","https://openalex.org/W2996355630","https://openalex.org/W3014153730","https://openalex.org/W4205178436","https://openalex.org/W4230009454","https://openalex.org/W4241219899","https://openalex.org/W4246852016","https://openalex.org/W6775499692"],"related_works":["https://openalex.org/W4230481354","https://openalex.org/W1494347678","https://openalex.org/W2493796539","https://openalex.org/W2149503900","https://openalex.org/W2062792942","https://openalex.org/W1989160441","https://openalex.org/W2162079633","https://openalex.org/W1972772021","https://openalex.org/W2016370966","https://openalex.org/W1541983171"],"abstract_inverted_index":{"The":[0],"environments":[1],"and":[2,15,22,99,109],"the":[3,35,51,85,88,92,103],"goals":[4],"that":[5,32,41,73],"an":[6,71],"autonomous":[7,115],"system":[8,56],"needs":[9],"to":[10,13,59,65,77,106],"be":[11,66,75],"able":[12],"understand":[14],"act":[16],"upon":[17],"are":[18,97],"not":[19],"fully":[20],"known":[21],"clearly":[23],"identifiable":[24],"at":[25],"design":[26,93],"time,":[27],"especially":[28],"for":[29,39,114],"those":[30],"systems":[31],"interact":[33,60],"with":[34,61],"physical":[36],"world.":[37],"Still,":[38],"applications":[40],"require":[42],"a":[43,55],"certain":[44,79],"level":[45],"of":[46,53,87,91],"assurance,":[47],"requirements,":[48],"which":[49],"include":[50],"definition":[52],"how":[54],"is":[57],"supposed":[58],"its":[62],"context,":[63],"need":[64],"defined,":[67,98],"analyzed,":[68],"refined":[69],"towards":[70,112],"implementation":[72,113],"can":[74],"shown":[76],"deliver":[78],"guarantees.":[80],"We":[81],"first":[82],"broadly":[83],"discuss":[84,102],"importance":[86],"early":[89],"stages":[90],"process":[94],"where":[95],"requirements":[96,108],"we":[100],"then":[101],"formalisms":[104],"needed":[105],"capture":[107],"refine":[110],"them":[111],"systems.":[116]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}