{"id":"https://openalex.org/W2030972894","doi":"https://doi.org/10.1109/sies.2010.5551396","title":"Context modelling and partial-order reduction: Application to SDL industrial embedded systems","display_name":"Context modelling and partial-order reduction: Application to SDL industrial embedded systems","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W2030972894","doi":"https://doi.org/10.1109/sies.2010.5551396","mag":"2030972894"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2010.5551396","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2010.5551396","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Industrial Embedded System (SIES)","raw_type":"proceedings-article"},"type":"preprint","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/A5018184429","display_name":"Xavier Dumas","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xavier Dumas","raw_affiliation_strings":["CSSI, Toulouse, France","DTN - D\u00e9veloppement des Technologies Nouvelles (2, rue Fran\u00e7ois Verny, 29806 BREST Cedex 9 - France)"],"affiliations":[{"raw_affiliation_string":"CSSI, Toulouse, France","institution_ids":[]},{"raw_affiliation_string":"DTN - D\u00e9veloppement des Technologies Nouvelles (2, rue Fran\u00e7ois Verny, 29806 BREST Cedex 9 - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039283397","display_name":"Fr\u00e9d\u00e9ric Boniol","orcid":null},"institutions":[{"id":"https://openalex.org/I205747304","display_name":"Institut National Polytechnique de Toulouse","ror":"https://ror.org/033p9g875","country_code":"FR","type":"education","lineage":["https://openalex.org/I205747304","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4387153255","display_name":"\u00c9cole Nationale Sup\u00e9rieure d'\u00c9lectrotechnique, d'\u00c9lectronique, d'Informatique, d'Hydraulique et des T\u00e9l\u00e9communications","ror":"https://ror.org/05wfw4946","country_code":"FR","type":"education","lineage":["https://openalex.org/I205747304","https://openalex.org/I4387153255","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Frederic Boniol","raw_affiliation_strings":["ONERA, Toulouse, France","ONERA - The French Aerospace Lab [Toulouse] (F-31055 Toulouse - France)","ENSEEIHT - Ecole Nationale Sup\u00e9rieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de T\u00e9l\u00e9communications (2 rue Charles Camichel. BP 7122 31071 Toulouse cedex 7 FR - France)"],"affiliations":[{"raw_affiliation_string":"ONERA, Toulouse, France","institution_ids":["https://openalex.org/I2801658355"]},{"raw_affiliation_string":"ONERA - The French Aerospace Lab [Toulouse] (F-31055 Toulouse - France)","institution_ids":["https://openalex.org/I2801658355"]},{"raw_affiliation_string":"ENSEEIHT - Ecole Nationale Sup\u00e9rieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de T\u00e9l\u00e9communications (2 rue Charles Camichel. BP 7122 31071 Toulouse cedex 7 FR - France)","institution_ids":["https://openalex.org/I205747304","https://openalex.org/I4387153255"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003925837","display_name":"Philippe Dhaussy","orcid":null},"institutions":[{"id":"https://openalex.org/I180375564","display_name":"\u00c9cole nationale d'ing\u00e9nieurs de Brest","ror":"https://ror.org/02ypw0a72","country_code":"FR","type":"education","lineage":["https://openalex.org/I180375564"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philippe Dhaussy","raw_affiliation_strings":["ENSIETA-Ecole Nationale Superieure des Ingenieurs des Etudes et Techniques d''Armement, Brest, France","STIC - D\u00e9partement STIC [Brest] (2 rue Fran\u00e7ois Verny 29806 Brest cedex 9 - France)","LISYC - Laboratoire d'Informatique des Syst\u00e8mes Complexes (Universit\u00e9 de Bretagne Occidentale 20 av. Victor Le Gorgeu CS 93837 29238 Brest Cedex - France)"],"affiliations":[{"raw_affiliation_string":"ENSIETA-Ecole Nationale Superieure des Ingenieurs des Etudes et Techniques d''Armement, Brest, France","institution_ids":["https://openalex.org/I180375564","https://openalex.org/I4210148559"]},{"raw_affiliation_string":"STIC - D\u00e9partement STIC [Brest] (2 rue Fran\u00e7ois Verny 29806 Brest cedex 9 - France)","institution_ids":["https://openalex.org/I4210123702"]},{"raw_affiliation_string":"LISYC - Laboratoire d'Informatique des Syst\u00e8mes Complexes (Universit\u00e9 de Bretagne Occidentale 20 av. Victor Le Gorgeu CS 93837 29238 Brest Cedex - France)","institution_ids":["https://openalex.org/I161929037"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075787301","display_name":"Eric Bonnafous","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eric Bonnafous","raw_affiliation_strings":["CSSI, Toulouse, France","DTN - D\u00e9veloppement des Technologies Nouvelles (2, rue Fran\u00e7ois Verny, 29806 BREST Cedex 9 - France)"],"affiliations":[{"raw_affiliation_string":"CSSI, Toulouse, France","institution_ids":[]},{"raw_affiliation_string":"DTN - D\u00e9veloppement des Technologies Nouvelles (2, rue Fran\u00e7ois Verny, 29806 BREST Cedex 9 - France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5018184429"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.11164671,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1032","issue":null,"first_page":"197","last_page":"200"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/partial-order-reduction","display_name":"Partial order reduction","score":0.8953346610069275},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7824227809906006},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.7635376453399658},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.7236870527267456},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5635916590690613},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5608347654342651},{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"Combinatorial explosion","score":0.5105620622634888},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43186214566230774},{"id":"https://openalex.org/keywords/model-order-reduction","display_name":"Model order reduction","score":0.43176621198654175},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2754408121109009},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19409841299057007},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08588379621505737},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07180166244506836}],"concepts":[{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.8953346610069275},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7824227809906006},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.7635376453399658},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.7236870527267456},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5635916590690613},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5608347654342651},{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.5105620622634888},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43186214566230774},{"id":"https://openalex.org/C2779277453","wikidata":"https://www.wikidata.org/wiki/Q12202921","display_name":"Model order reduction","level":3,"score":0.43176621198654175},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2754408121109009},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19409841299057007},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08588379621505737},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07180166244506836},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","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},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sies.2010.5551396","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2010.5551396","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Industrial Embedded System (SIES)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1535497513","https://openalex.org/W1568729458","https://openalex.org/W1916915881","https://openalex.org/W2016300863","https://openalex.org/W2102453653","https://openalex.org/W2115309705","https://openalex.org/W2163903931","https://openalex.org/W2485260361","https://openalex.org/W4285719527","https://openalex.org/W6631779937","https://openalex.org/W6634066055","https://openalex.org/W6654576089"],"related_works":["https://openalex.org/W2116027328","https://openalex.org/W2349662779","https://openalex.org/W2030972894","https://openalex.org/W2151499748","https://openalex.org/W2607993147","https://openalex.org/W2974004123","https://openalex.org/W2734868194","https://openalex.org/W1981499043","https://openalex.org/W1562560640","https://openalex.org/W1562473895"],"abstract_inverted_index":{"In":[0],"this":[1,23,43,66],"paper":[2,67],"we":[3,45],"introduce":[4],"a":[5],"method":[6,63],"combining":[7],"system":[8],"environment":[9],"description":[10],"and":[11],"partial-order":[12,49],"reduction":[13],"for":[14],"the":[15,28,31,52,59],"verification":[16,60],"of":[17,22,30],"SDL":[18],"systems.":[19],"The":[20,62],"aim":[21],"work":[24],"is":[25],"to":[26,47,57],"address":[27],"problem":[29],"combinatorial":[32],"explosion":[33],"when":[34],"verifying":[35],"complex":[36],"reactive":[37],"systems":[38],"modeled":[39],"in":[40,65],"SDL.":[41],"To":[42],"purpose":[44],"propose":[46],"apply":[48],"methods":[50],"on":[51,71],"OBP":[53],"methodology":[54],"so":[55],"that":[56],"make":[58],"possible.":[61],"presented":[64],"has":[68],"been":[69],"applied":[70],"two":[72],"real":[73],"avionics":[74],"system.":[75]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}