{"id":"https://openalex.org/W1972451685","doi":"https://doi.org/10.1109/sies.2013.6601486","title":"Engineering functional requirements of reactive systems using synchronous languages","display_name":"Engineering functional requirements of reactive systems using synchronous languages","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W1972451685","doi":"https://doi.org/10.1109/sies.2013.6601486","mag":"1972451685"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2013.6601486","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2013.6601486","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5088310354","display_name":"Erwan Jahier","orcid":"https://orcid.org/0000-0002-3042-1565"},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Erwan Jahier","raw_affiliation_strings":["Verimag, Centre National de la Recherche Scientifique, Gieres, France","Verimag, Gie\u0300res, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Verimag, Centre National de la Recherche Scientifique, Gieres, France","institution_ids":["https://openalex.org/I4210156361"]},{"raw_affiliation_string":"Verimag, Gie\u0300res, France","institution_ids":["https://openalex.org/I4210156361"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080577181","display_name":"Nicolas Halbwachs","orcid":"https://orcid.org/0000-0002-1426-7967"},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Halbwachs","raw_affiliation_strings":["Verimag, Centre National de la Recherche Scientifique, Gieres, France","Verimag, Gie\u0300res, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Verimag, Centre National de la Recherche Scientifique, Gieres, France","institution_ids":["https://openalex.org/I4210156361"]},{"raw_affiliation_string":"Verimag, Gie\u0300res, France","institution_ids":["https://openalex.org/I4210156361"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002817720","display_name":"Pascal Raymond","orcid":"https://orcid.org/0000-0003-3876-9125"},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pascal Raymond","raw_affiliation_strings":["Verimag, Centre National de la Recherche Scientifique, Gieres, France","Verimag, Gie\u0300res, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Verimag, Centre National de la Recherche Scientifique, Gieres, France","institution_ids":["https://openalex.org/I4210156361"]},{"raw_affiliation_string":"Verimag, Gie\u0300res, France","institution_ids":["https://openalex.org/I4210156361"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210156361"],"apc_list":null,"apc_paid":null,"fwci":0.9047,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.68495219,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"42","issue":null,"first_page":"140","last_page":"149"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/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/T12423","display_name":"Software Reliability and Analysis Research","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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7252044677734375},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7131479978561401},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5939823389053345},{"id":"https://openalex.org/keywords/functional-specification","display_name":"Functional specification","score":0.5238568782806396},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5089778900146484},{"id":"https://openalex.org/keywords/functional-requirement","display_name":"Functional requirement","score":0.4824115037918091},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.47711947560310364},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47268444299697876},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.46944352984428406},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4484083354473114},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.42759278416633606},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.40588057041168213},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4030594229698181},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38930436968803406},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.21420001983642578},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.183102548122406},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17639389634132385},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.09221979975700378}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7252044677734375},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7131479978561401},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5939823389053345},{"id":"https://openalex.org/C57371142","wikidata":"https://www.wikidata.org/wiki/Q16914225","display_name":"Functional specification","level":5,"score":0.5238568782806396},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5089778900146484},{"id":"https://openalex.org/C62235348","wikidata":"https://www.wikidata.org/wiki/Q3264234","display_name":"Functional requirement","level":2,"score":0.4824115037918091},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.47711947560310364},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47268444299697876},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.46944352984428406},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4484083354473114},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42759278416633606},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.40588057041168213},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4030594229698181},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38930436968803406},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.21420001983642578},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.183102548122406},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17639389634132385},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.09221979975700378}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sies.2013.6601486","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2013.6601486","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1509343160","https://openalex.org/W1516913161","https://openalex.org/W1591643794","https://openalex.org/W1713763911","https://openalex.org/W1797135964","https://openalex.org/W1875492031","https://openalex.org/W1983093418","https://openalex.org/W1996309559","https://openalex.org/W2012163960","https://openalex.org/W2025914262","https://openalex.org/W2061203946","https://openalex.org/W2086082110","https://openalex.org/W2107973499","https://openalex.org/W2112614370","https://openalex.org/W2122515544","https://openalex.org/W2126319344","https://openalex.org/W2155629590","https://openalex.org/W2162861813","https://openalex.org/W2179157438","https://openalex.org/W2257079043","https://openalex.org/W2493467830","https://openalex.org/W4206455946","https://openalex.org/W4236198799","https://openalex.org/W4251696457","https://openalex.org/W6631031841","https://openalex.org/W6635138435","https://openalex.org/W6637571025","https://openalex.org/W6638154356"],"related_works":["https://openalex.org/W2049993111","https://openalex.org/W1528027622","https://openalex.org/W2158159493","https://openalex.org/W2211523418","https://openalex.org/W2152009938","https://openalex.org/W12544170","https://openalex.org/W2799231486","https://openalex.org/W2886192770","https://openalex.org/W2204176978","https://openalex.org/W3008984126"],"abstract_inverted_index":{"Automating":[0],"the":[1,14,19,29,33,59,100],"functional":[2,128],"testing":[3,62,93],"of":[4,13,28,32,58,83,102],"reactive":[5,103],"systems":[6,104],"requires":[7,25],"to":[8,37,116],"provide":[9],"a":[10,26,40,50,76],"formal":[11,47],"specification":[12,27],"system":[15,34],"environment":[16],"which":[17],"defines":[18],"admissible":[20],"test":[21,41],"inputs.":[22],"It":[23],"also":[24,119],"expected":[30],"properties":[31],"in":[35,78],"order":[36],"decide":[38],"whether":[39],"succeeds":[42],"or":[43],"fails.":[44],"Engineering":[45],"these":[46,113],"specifications":[48],"is":[49,55],"difficult":[51],"task,":[52],"as":[53],"it":[54],"not":[56],"part":[57],"usual":[60],"manual":[61],"process.":[63],"In":[64,89],"this":[65,90],"paper,":[66],"we":[67],"report":[68],"some":[69],"experiments":[70],"that":[71],"have":[72,95],"been":[73,96],"conducted":[74],"within":[75],"project":[77],"collaboration":[79],"with":[80],"industrial":[81,109],"developers":[82],"nuclear":[84],"power":[85],"plant":[86],"control":[87],"systems.":[88],"project,":[91],"automatic":[92],"tools":[94,114],"used":[97],"for":[98,120],"checking":[99],"correctness":[101],"developed":[105],"incrementally,":[106],"using":[107],"heterogeneous":[108],"engineering":[110],"workbenches.":[111],"But":[112],"appeared":[115],"be":[117],"useful":[118],"elaborating":[121],"and":[122,126],"refining":[123],"formal,":[124],"consistent,":[125],"accurate":[127],"requirements.":[129]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}