{"id":"https://openalex.org/W2345258631","doi":"https://doi.org/10.1109/rtas.2016.7461329","title":"Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems","display_name":"Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems","publication_year":2016,"publication_date":"2016-04-01","ids":{"openalex":"https://openalex.org/W2345258631","doi":"https://doi.org/10.1109/rtas.2016.7461329","mag":"2345258631"},"language":"en","primary_location":{"id":"doi:10.1109/rtas.2016.7461329","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtas.2016.7461329","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://opus.bibliothek.uni-augsburg.de/opus4/files/69795/69795.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029690713","display_name":"Lo\u00efc Fejoz","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Loic Fejoz","raw_affiliation_strings":["RealTime-at-Work (RTaW), France"],"affiliations":[{"raw_affiliation_string":"RealTime-at-Work (RTaW), France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068542032","display_name":"Nicolas Navet","orcid":"https://orcid.org/0000-0002-6417-358X"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Nicolas Navet","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090841639","display_name":"Sakthivel Manikandan Sundharam","orcid":"https://orcid.org/0000-0001-5924-4403"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Sakthivel Manikandan Sundharam","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046779403","display_name":"Sebastian Altmeyer","orcid":"https://orcid.org/0000-0002-2487-7144"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Sebastian Altmeyer","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5029690713"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2613,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.7760015,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8195661306381226},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6382594704627991},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.6059030890464783},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5742059350013733},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5508289337158203},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.547517716884613},{"id":"https://openalex.org/keywords/workstation","display_name":"Workstation","score":0.515275239944458},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5099059343338013},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.43376946449279785},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.4241648316383362},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42019781470298767},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4151579439640045},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3522903621196747},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22386914491653442}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8195661306381226},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6382594704627991},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.6059030890464783},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5742059350013733},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5508289337158203},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.547517716884613},{"id":"https://openalex.org/C67953723","wikidata":"https://www.wikidata.org/wiki/Q192525","display_name":"Workstation","level":2,"score":0.515275239944458},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5099059343338013},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.43376946449279785},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.4241648316383362},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42019781470298767},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4151579439640045},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3522903621196747},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22386914491653442},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/rtas.2016.7461329","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtas.2016.7461329","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","raw_type":"proceedings-article"},{"id":"pmh:oai:uni-augsburg.opus-bayern.de:69795","is_oa":true,"landing_page_url":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/69795","pdf_url":"https://opus.bibliothek.uni-augsburg.de/opus4/files/69795/69795.pdf","source":{"id":"https://openalex.org/S4306400930","display_name":"OPUS (Augsburg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I119916105","host_organization_name":"Augsburg University","host_organization_lineage":["https://openalex.org/I119916105"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"bookpart"}],"best_oa_location":{"id":"pmh:oai:uni-augsburg.opus-bayern.de:69795","is_oa":true,"landing_page_url":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/69795","pdf_url":"https://opus.bibliothek.uni-augsburg.de/opus4/files/69795/69795.pdf","source":{"id":"https://openalex.org/S4306400930","display_name":"OPUS (Augsburg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I119916105","host_organization_name":"Augsburg University","host_organization_lineage":["https://openalex.org/I119916105"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"bookpart"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2345258631.pdf"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W943604084","https://openalex.org/W2050886672","https://openalex.org/W2201458030","https://openalex.org/W2223674424","https://openalex.org/W2227853962","https://openalex.org/W2229409627","https://openalex.org/W2721564861"],"related_works":["https://openalex.org/W4230197055","https://openalex.org/W4296749040","https://openalex.org/W2045348955","https://openalex.org/W2352028719","https://openalex.org/W2584886384","https://openalex.org/W2378667902","https://openalex.org/W621808327","https://openalex.org/W644007644","https://openalex.org/W2497198634","https://openalex.org/W2791088446"],"abstract_inverted_index":{"CPAL":[0,14,56,64,91,100,137,156],"is":[1,57,65,92,101,105],"a":[2,66,93,103,113,128,142],"new":[3],"language":[4],"to":[5,16,59],"model,":[6],"simulate,":[7],"verify":[8],"and":[9,49,68,85,107,115,134,159,166,174,179],"program":[10],"Cyber-Physical":[11],"Systems":[12],"(CPS).":[13],"serves":[15],"describe":[17],"both":[18],"the":[19,25,28,34,38,41,50,54,78,81,116,152,164],"functional":[20,35],"behaviour":[21],"of":[22,27,37,43,87,136,144,172],"activities":[23],"(i.e.,":[24,40],"code":[26],"function":[29],"itself)":[30],"as":[31,33],"well":[32],"architecture":[36],"system":[39],"set":[42,143],"functions,":[44],"how":[45],"they":[46],"are":[47,161],"activated,":[48],"data":[51],"flows":[52],"among":[53],"functions).":[55],"meant":[58],"support":[60],"two":[61],"use-cases.":[62],"Firstly,":[63],"development":[67,135],"design-space":[69],"exploration":[70],"environment":[71],"for":[72],"CPS":[73,88],"with":[74,127,177],"main":[75],"features":[76],"being":[77],"formal":[79],"description,":[80],"editing,":[82],"graphical":[83],"representation":[84],"simulation":[86,110],"models.":[89],"Secondly,":[90],"real-time":[94],"execution":[95],"platform.":[96],"The":[97,132,155],"vision":[98],"behind":[99],"that":[102,147],"model":[104,118],"executed":[106],"verified":[108],"in":[109],"mode":[111],"on":[112,123],"workstation":[114],"same":[117],"can":[119],"be":[120,149],"later":[121],"run":[122],"an":[124],"embedded":[125],"board":[126],"timing-equivalent":[129],"run-time":[130],"behaviour.":[131],"design":[133],"have":[138],"been":[139],"organized":[140],"around":[141],"realistic":[145],"case-studies":[146],"will":[148],"demonstrated":[150],"during":[151],"demonstration":[153],"session.":[154],"case":[157],"studies":[158],"experiments":[160],"inspired":[162],"from":[163],"research":[165],"teaching":[167],"carried":[168],"out":[169],"at":[170],"University":[171],"Luxembourg,":[173],"RTAW's":[175],"projects":[176],"partner":[178],"customer":[180],"companies.":[181]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}