{"id":"https://openalex.org/W4399729069","doi":"https://doi.org/10.1109/syscon61195.2024.10553550","title":"Fast and Secure Mission Description, Validation and Deployment for Safety-Critical Operations","display_name":"Fast and Secure Mission Description, Validation and Deployment for Safety-Critical Operations","publication_year":2024,"publication_date":"2024-04-15","ids":{"openalex":"https://openalex.org/W4399729069","doi":"https://doi.org/10.1109/syscon61195.2024.10553550"},"language":"en","primary_location":{"id":"doi:10.1109/syscon61195.2024.10553550","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/syscon61195.2024.10553550","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Systems Conference (SysCon)","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/A5076319638","display_name":"Anton D. Hristozov","orcid":"https://orcid.org/0000-0002-3719-0966"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"id":"https://openalex.org/I114772536","display_name":"Software Engineering Institute","ror":"https://ror.org/01xqjjn94","country_code":"US","type":"facility","lineage":["https://openalex.org/I114772536","https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Anton Dimov Hristozov","raw_affiliation_strings":["Carnegie Mellon University,Software Engineering Institute,Pittsburgh,PA","Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University,Software Engineering Institute,Pittsburgh,PA","institution_ids":["https://openalex.org/I114772536","https://openalex.org/I74973139"]},{"raw_affiliation_string":"Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I114772536","https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5076319638"],"corresponding_institution_ids":["https://openalex.org/I114772536","https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07545002,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"288","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9912999868392944,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.7987536191940308},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6549796462059021},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.321155309677124},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2832335829734802}],"concepts":[{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.7987536191940308},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6549796462059021},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.321155309677124},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2832335829734802}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/syscon61195.2024.10553550","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/syscon61195.2024.10553550","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Systems Conference (SysCon)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","display_name":"Climate action","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W110511923","https://openalex.org/W326578236","https://openalex.org/W648871171","https://openalex.org/W1578294898","https://openalex.org/W2018951244","https://openalex.org/W2102874028","https://openalex.org/W2898544893","https://openalex.org/W2953563554","https://openalex.org/W2963513677","https://openalex.org/W2964266016","https://openalex.org/W2974838753","https://openalex.org/W3008011481","https://openalex.org/W3090620441","https://openalex.org/W3103677069","https://openalex.org/W3135098131","https://openalex.org/W3178067170","https://openalex.org/W4220845507","https://openalex.org/W4232690755","https://openalex.org/W4309874955","https://openalex.org/W6666905970","https://openalex.org/W6737152114","https://openalex.org/W6750526209","https://openalex.org/W6797508029"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2770234245","https://openalex.org/W96612179","https://openalex.org/W4229499248","https://openalex.org/W2566006169","https://openalex.org/W1567818861","https://openalex.org/W2987774938","https://openalex.org/W4256492088","https://openalex.org/W632915154"],"abstract_inverted_index":{"The":[0,22,159],"correct":[1],"execution":[2,140],"of":[3,24,64,108,141,184,198],"missions":[4,25,84,109,131,185],"is":[5,12,29,71],"considered":[6],"crucial":[7],"in":[8,15,49,53],"many":[9,34],"industries.":[10],"This":[11,94,115,180],"especially":[13],"true":[14],"the":[16,50,56,58,65,139,142,182,190,199],"military":[17],"and":[18,27,67,87,101,113,123,129,136,153,201],"homeland":[19],"security":[20],"sectors.":[21],"creation":[23],"quickly":[26],"generically":[28],"a":[30,72,97,118],"challenging":[31],"task.":[32],"As":[33],"vehicles":[35],"are":[36,48,85,88,133],"controlled":[37],"from":[38],"ground":[39],"control":[40],"stations":[41],"or":[42,52],"through":[43,155],"special":[44],"mission":[45,66,98,121,147,170],"applications":[46,171],"that":[47,103,125,132],"air":[51],"motion":[54],"on":[55,173],"ground,":[57],"ability":[59],"to":[60,91,111,166],"describe":[61],"all":[62,105,195],"aspects":[63,107,197],"deploy":[68],"it":[69],"efficiently":[70],"great":[73],"plus":[74],"when":[75],"operating":[76],"safety-critical":[77],"systems.":[78],"Unfortunately,":[79],"comprehensive":[80],"solutions":[81],"for":[82,120,163,169],"defining":[83],"rare":[86],"not":[89,193],"universal":[90],"be":[92],"practical.":[93],"paper":[95],"presents":[96,117],"description":[99,148],"language":[100,149,160],"approach":[102],"covers":[104],"essential":[106],"pertinent":[110],"UAVs":[112],"UGVs.":[114],"work":[116],"methodology":[119],"validation":[122],"deployment":[124],"can":[126],"speed":[127],"up":[128],"validate":[130],"modified":[134],"frequently":[135],"even":[137],"during":[138],"current":[143],"mission.":[144],"Developing":[145],"such":[146,177],"follows":[150],"formal":[151],"grammar":[152],"implementation":[154,196],"parser":[156],"generation":[157,183],"tools.":[158],"structure":[161],"allows":[162],"creating":[164],"tools":[165],"generate":[167],"code":[168],"based":[172],"established":[174],"messaging":[175],"protocols":[176],"as":[178],"Mavlink.":[179],"facilitates":[181],"by":[186],"users":[187],"who":[188],"understand":[189],"system":[191],"but":[192],"necessarily":[194],"UAV":[200],"UGV":[202],"software.":[203]},"counts_by_year":[],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}