{"id":"https://openalex.org/W1970315935","doi":"https://doi.org/10.1109/isorc.2013.6913214","title":"Mapping AADL models to a repository of multiple schedulability analysis techniques","display_name":"Mapping AADL models to a repository of multiple schedulability analysis techniques","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W1970315935","doi":"https://doi.org/10.1109/isorc.2013.6913214","mag":"1970315935"},"language":"en","primary_location":{"id":"doi:10.1109/isorc.2013.6913214","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isorc.2013.6913214","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","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/A5061898772","display_name":"Yassine Ouhammou","orcid":"https://orcid.org/0000-0003-3776-4736"},"institutions":[{"id":"https://openalex.org/I171246369","display_name":"\u00c9cole Nationale Sup\u00e9rieure de M\u00e9canique et d'A\u00e9rotechnique","ror":"https://ror.org/04jx68594","country_code":"FR","type":"facility","lineage":["https://openalex.org/I171246369"]},{"id":"https://openalex.org/I4210116740","display_name":"Laboratoire d'Informatique et d'Automatique pour les Syst\u00e8mes","ror":"https://ror.org/02b5vq778","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I4210113334","https://openalex.org/I4210116740","https://openalex.org/I4210139971"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Yassine Ouhammou","raw_affiliation_strings":["LIAS/ISAE-ENSMA, Futuroscope, France","SETR - Syst\u00e8mes Embarqu\u00e9s Temps R\u00e9el (Laboratoire LIAS - ENSIP B\u00e2timent B25 - 2 rue Pierre Brousse TSA 41105 86073 Poitiers Cedex 9 France Laboratoire LIAS - ISAE-ENSMA T\u00e9l\u00e9port 2 - 1 avenue Cl\u00e9ment Ader BP 40109 86961 Chasseneuil France  - France)","LIAS [Poitiers] - Laboratoire d'informatique et d'automatique pour les syst\u00e8mes [EA 6315] (LISI-ENSMA T\u00e9l\u00e9port 2 \u2013 1 avenue Cl\u00e9ment Ader \u2013 BP 40109 \u2013 86961 Futuroscope Chasseneuil cedex \u2013 france - France)"],"affiliations":[{"raw_affiliation_string":"LIAS/ISAE-ENSMA, Futuroscope, France","institution_ids":["https://openalex.org/I171246369"]},{"raw_affiliation_string":"SETR - Syst\u00e8mes Embarqu\u00e9s Temps R\u00e9el (Laboratoire LIAS - ENSIP B\u00e2timent B25 - 2 rue Pierre Brousse TSA 41105 86073 Poitiers Cedex 9 France Laboratoire LIAS - ISAE-ENSMA T\u00e9l\u00e9port 2 - 1 avenue Cl\u00e9ment Ader BP 40109 86961 Chasseneuil France  - France)","institution_ids":["https://openalex.org/I171246369"]},{"raw_affiliation_string":"LIAS [Poitiers] - Laboratoire d'informatique et d'automatique pour les syst\u00e8mes [EA 6315] (LISI-ENSMA T\u00e9l\u00e9port 2 \u2013 1 avenue Cl\u00e9ment Ader \u2013 BP 40109 \u2013 86961 Futuroscope Chasseneuil cedex \u2013 france - France)","institution_ids":["https://openalex.org/I4210116740","https://openalex.org/I171246369"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064245140","display_name":"Emmanuel Grolleau","orcid":"https://orcid.org/0000-0001-7045-9819"},"institutions":[{"id":"https://openalex.org/I171246369","display_name":"\u00c9cole Nationale Sup\u00e9rieure de M\u00e9canique et d'A\u00e9rotechnique","ror":"https://ror.org/04jx68594","country_code":"FR","type":"facility","lineage":["https://openalex.org/I171246369"]},{"id":"https://openalex.org/I4210116740","display_name":"Laboratoire d'Informatique et d'Automatique pour les Syst\u00e8mes","ror":"https://ror.org/02b5vq778","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I4210113334","https://openalex.org/I4210116740","https://openalex.org/I4210139971"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Emmanuel Grolleau","raw_affiliation_strings":["LIAS/ISAE-ENSMA, Futuroscope, France","SETR - Syst\u00e8mes Embarqu\u00e9s Temps R\u00e9el (Laboratoire LIAS - ENSIP B\u00e2timent B25 - 2 rue Pierre Brousse TSA 41105 86073 Poitiers Cedex 9 France Laboratoire LIAS - ISAE-ENSMA T\u00e9l\u00e9port 2 - 1 avenue Cl\u00e9ment Ader BP 40109 86961 Chasseneuil France  - France)","LIAS [Poitiers] - Laboratoire d'informatique et d'automatique pour les syst\u00e8mes [EA 6315] (LISI-ENSMA T\u00e9l\u00e9port 2 \u2013 1 avenue Cl\u00e9ment Ader \u2013 BP 40109 \u2013 86961 Futuroscope Chasseneuil cedex \u2013 france - France)"],"affiliations":[{"raw_affiliation_string":"LIAS/ISAE-ENSMA, Futuroscope, France","institution_ids":["https://openalex.org/I171246369"]},{"raw_affiliation_string":"SETR - Syst\u00e8mes Embarqu\u00e9s Temps R\u00e9el (Laboratoire LIAS - ENSIP B\u00e2timent B25 - 2 rue Pierre Brousse TSA 41105 86073 Poitiers Cedex 9 France Laboratoire LIAS - ISAE-ENSMA T\u00e9l\u00e9port 2 - 1 avenue Cl\u00e9ment Ader BP 40109 86961 Chasseneuil France  - France)","institution_ids":["https://openalex.org/I171246369"]},{"raw_affiliation_string":"LIAS [Poitiers] - Laboratoire d'informatique et d'automatique pour les syst\u00e8mes [EA 6315] (LISI-ENSMA T\u00e9l\u00e9port 2 \u2013 1 avenue Cl\u00e9ment Ader \u2013 BP 40109 \u2013 86961 Futuroscope Chasseneuil cedex \u2013 france - France)","institution_ids":["https://openalex.org/I4210116740","https://openalex.org/I171246369"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003255921","display_name":"J\u00e9r\u00f4me Hugues","orcid":"https://orcid.org/0000-0003-0148-7175"},"institutions":[{"id":"https://openalex.org/I4210104174","display_name":"Mars (France)","ror":"https://ror.org/01b1e4b88","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210104174","https://openalex.org/I4210113968"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jerome Hugues","raw_affiliation_strings":["Universit\u00e9 de Toulouse, ISAE, Toulouse, France","MARS (France)"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Toulouse, ISAE, Toulouse, France","institution_ids":["https://openalex.org/I17866349"]},{"raw_affiliation_string":"MARS (France)","institution_ids":["https://openalex.org/I4210104174"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5061898772"],"corresponding_institution_ids":["https://openalex.org/I171246369","https://openalex.org/I4210116740"],"apc_list":null,"apc_paid":null,"fwci":0.6304,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67458263,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"39","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.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"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","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/T10142","display_name":"Formal Methods in Verification","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8644609451293945},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5576488971710205},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.43180811405181885},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4192694425582886},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33029991388320923},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11206769943237305}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8644609451293945},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5576488971710205},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.43180811405181885},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4192694425582886},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33029991388320923},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11206769943237305},{"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/isorc.2013.6913214","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isorc.2013.6913214","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04192545v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04192545","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proc. 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany. pp.8, ⟨10.1109/ISORC.2013.6913214⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W34866348","https://openalex.org/W132334879","https://openalex.org/W146458024","https://openalex.org/W1525247584","https://openalex.org/W1606775714","https://openalex.org/W1933722645","https://openalex.org/W1965640736","https://openalex.org/W1965979806","https://openalex.org/W1966484982","https://openalex.org/W1996763308","https://openalex.org/W1997998060","https://openalex.org/W2052251387","https://openalex.org/W2060655332","https://openalex.org/W2080691874","https://openalex.org/W2086061827","https://openalex.org/W2105896457","https://openalex.org/W2109488193","https://openalex.org/W2116357451","https://openalex.org/W4238441833","https://openalex.org/W6640553512"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2107238869"],"abstract_inverted_index":{"To":[0],"fill":[1],"the":[2,5,11,21,35,60,83,100],"gap":[3],"between":[4],"modeling":[6,25],"of":[7,62],"real-time":[8],"systems":[9],"and":[10,38,42,92],"scheduling":[12],"analysis,":[13,51,56],"we":[14],"propose":[15],"a":[16,26,29,70,79,89],"framework":[17,65,95],"that":[18],"supports":[19,69],"seamlessly":[20],"two":[22],"aspects:":[23],"(1)":[24],"system":[27],"using":[28],"methodology,":[30],"in":[31],"our":[32,94],"case":[33,80],"study,":[34],"Architecture":[36],"Analysis":[37],"Design":[39],"Language":[40],"(AADL),":[41],"(2)":[43],"helping":[44],"to":[45,98,105],"easily":[46],"check":[47],"temporal":[48,74,108],"requirements":[49],"(schedulability":[50],"worst-case":[52],"response":[53],"time,":[54],"sensitivity":[55],"etc.).":[57],"We":[58,76],"introduce":[59],"usefulness":[61],"an":[63],"intermediate":[64],"called":[66],"MoSaRT,":[67],"which":[68],"rich":[71],"semantic":[72],"concerning":[73],"analysis.":[75],"show":[77],"with":[78],"study":[81],"how":[82,93],"input":[84],"model":[85],"is":[86,96],"transformed":[87],"into":[88],"MoSaRT":[90],"model,":[91],"able":[97],"generate":[99],"proper":[101],"models":[102],"as":[103],"inputs":[104],"several":[106],"classic":[107],"analysis":[109],"tools.":[110]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}