{"id":"https://openalex.org/W2972245459","doi":"https://doi.org/10.1145/3344948.3344989","title":"Stochastic hybrid systems meet software components for well-founded cyber-physical systems software architectures","display_name":"Stochastic hybrid systems meet software components for well-founded cyber-physical systems software architectures","publication_year":2019,"publication_date":"2019-09-05","ids":{"openalex":"https://openalex.org/W2972245459","doi":"https://doi.org/10.1145/3344948.3344989","mag":"2972245459"},"language":"en","primary_location":{"id":"doi:10.1145/3344948.3344989","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3344948.3344989","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th European Conference on Software Architecture - Volume 2","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.sorbonne-universite.fr/hal-02296533","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031858359","display_name":"Jacques Malenfant","orcid":"https://orcid.org/0000-0002-2986-8132"},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Jacques Malenfant","raw_affiliation_strings":["Sorbonne Universit\u00e9, Paris, France"],"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, Paris, France","institution_ids":["https://openalex.org/I39804081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5031858359"],"corresponding_institution_ids":["https://openalex.org/I39804081"],"apc_list":null,"apc_paid":null,"fwci":0.1981,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.58544082,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"1872","issue":null,"first_page":"132","last_page":"138"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991999864578247,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7677745819091797},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6663439273834229},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5924054980278015},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5922707915306091},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.5340684056282043},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.5068619847297668},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.48297348618507385},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4819066822528839},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.47969457507133484},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.46809911727905273},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4560295641422272},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.452343612909317},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44150394201278687},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.42036211490631104},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41228818893432617},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1769638955593109},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11174038052558899}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7677745819091797},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6663439273834229},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5924054980278015},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5922707915306091},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.5340684056282043},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.5068619847297668},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.48297348618507385},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4819066822528839},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.47969457507133484},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46809911727905273},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4560295641422272},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.452343612909317},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44150394201278687},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.42036211490631104},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41228818893432617},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1769638955593109},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11174038052558899},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3344948.3344989","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3344948.3344989","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th European Conference on Software Architecture - Volume 2","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-02296533v1","is_oa":true,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-02296533","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"13th European Conference on Software Architecture (ECSA), Sep 2019, Paris, France. pp.132-138, ⟨10.1145/3344948.3344989⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-02296533v1","is_oa":true,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-02296533","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"13th European Conference on Software Architecture (ECSA), Sep 2019, Paris, France. pp.132-138, ⟨10.1145/3344948.3344989⟩","raw_type":"Conference papers"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W88375887","https://openalex.org/W1501131047","https://openalex.org/W1513964429","https://openalex.org/W1516719372","https://openalex.org/W1538133856","https://openalex.org/W2007599390","https://openalex.org/W2059865504","https://openalex.org/W2123875193","https://openalex.org/W2137918685","https://openalex.org/W2168147381","https://openalex.org/W2404751543","https://openalex.org/W2434807022","https://openalex.org/W3022429701","https://openalex.org/W4232824042","https://openalex.org/W4233898098","https://openalex.org/W4249492311"],"related_works":["https://openalex.org/W128313926","https://openalex.org/W2157036638","https://openalex.org/W2182545529","https://openalex.org/W2077828060","https://openalex.org/W4247246286","https://openalex.org/W2363993616","https://openalex.org/W2560461391","https://openalex.org/W2154892829","https://openalex.org/W2121034600","https://openalex.org/W2166356874"],"abstract_inverted_index":{"Cyber-physical":[0],"control":[1],"systems":[2],"(CPCS)":[3],"are":[4],"notoriously":[5],"difficult":[6],"to":[7,19,48,50,63,100],"specify,":[8],"implement,":[9],"test,":[10],"validate":[11],"and":[12,23,29,36,54,57,84,106],"verify.":[13],"In":[14],"this":[15],"paper,":[16],"we":[17],"propose":[18],"integrate":[20],"hybrid":[21,27],"systems,":[22],"their":[24],"declensions":[25],"as":[26],"automata":[28],"DEVS":[30],"simulation":[31,58],"models,":[32],"within":[33],"a":[34],"full-fledged":[35],"well-founded":[37],"software":[38,67,85,97],"component":[39],"model":[40],"tailored":[41],"for":[42],"CPCS.":[43],"The":[44,60,80],"key":[45],"concept":[46],"is":[47,62],"attach":[49],"components":[51],"modular,":[52],"composable":[53],"reusable":[55,105],"behavioural":[56],"models.":[59],"goal":[61],"seamlessly":[64],"support":[65],"the":[66,92,96],"development":[68],"process,":[69],"from":[70],"model-in-the-loop":[71],"initial":[72],"validation,":[73],"until":[74],"deployment":[75],"time":[76],"actual":[77],"system":[78],"verification.":[79],"resulting":[81],"comprehensive":[82],"modeling":[83],"implementation":[86],"tool":[87],"aims":[88],"at":[89],"fully":[90],"supporting":[91],"different":[93],"phases":[94],"of":[95],"life":[98],"cycle":[99],"provide":[101],"more":[102],"reliable,":[103],"robust,":[104],"adaptable":[107],"CPCS":[108],"using":[109],"less":[110],"resources.":[111]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-02-25T23:00:34.991745","created_date":"2025-10-10T00:00:00"}