{"id":"https://openalex.org/W2808408536","doi":null,"title":"Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.","display_name":"Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2808408536","mag":"2808408536"},"language":"en","primary_location":{"id":"mag:2808408536","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/series/asc/asc346.html#LouatiBJ15","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","indexed_in":[],"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/A5058605363","display_name":"Aymen Louati","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Aymen Louati","raw_affiliation_strings":["CNAM"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNAM","institution_ids":["https://openalex.org/I124158823"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028283340","display_name":"Kamel Barkaoui","orcid":"https://orcid.org/0000-0001-7175-0448","observed_orcids":["https://orcid.org/0000-0001-7175-0448"]},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Kamel Barkaoui","raw_affiliation_strings":["CNAM"],"raw_orcid":"https://orcid.org/0000-0001-7175-0448","affiliations":[{"raw_affiliation_string":"CNAM","institution_ids":["https://openalex.org/I124158823"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054246084","display_name":"Chadlia Jerad","orcid":"https://orcid.org/0000-0002-5442-3098","observed_orcids":["https://orcid.org/0000-0002-5442-3098"]},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Chadlia Jerad","raw_affiliation_strings":["ENIT, Universit\u00e9 Tunis El Manar"],"raw_orcid":"https://orcid.org/0000-0002-5442-3098","affiliations":[{"raw_affiliation_string":"ENIT, Universit\u00e9 Tunis El Manar","institution_ids":["https://openalex.org/I63596082"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.343,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.68991169,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"133","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9702000021934509,"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.9702000021934509,"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.016200000420212746,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0066999997943639755,"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/real-time-systems","display_name":"real-time systems","score":0.9120000004768372},{"id":"https://openalex.org/keywords/time-petri-nets","display_name":"time Petri nets","score":0.8019999861717224},{"id":"https://openalex.org/keywords/timing-diagrams","display_name":"timing diagrams","score":0.9919999837875366},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.8320000171661377},{"id":"https://openalex.org/keywords/dependability","display_name":"dependability","score":0.7080000042915344},{"id":"https://openalex.org/keywords/integrated-modular-avionics","display_name":"integrated modular avionics","score":0.7799999713897705},{"id":"https://openalex.org/keywords/asynchronous-systems","display_name":"asynchronous systems","score":0.734000027179718}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7661824226379395},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7051586508750916},{"id":"https://openalex.org/C133264317","wikidata":"https://www.wikidata.org/wiki/Q1397689","display_name":"Object Constraint Language","level":5,"score":0.6509536504745483},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5624659061431885},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5606428980827332},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5496989488601685},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.5122958421707153},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.4927420914173126},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.47488659620285034},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44816845655441284},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.4418407082557678},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.41584303975105286},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.36195284128189087},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2808408536","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/series/asc/asc346.html#LouatiBJ15","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1994083889","https://openalex.org/W2788789883","https://openalex.org/W2211180838","https://openalex.org/W2315362050","https://openalex.org/W3146558380","https://openalex.org/W55466885","https://openalex.org/W2591798461","https://openalex.org/W2591834278","https://openalex.org/W1564954449","https://openalex.org/W1981474298"],"abstract_inverted_index":{"Dependability":[0],"is":[1,33,48,121],"a":[2,63,75,133,138],"key":[3],"feature":[4],"of":[5,29,78],"critical":[6],"Real-Time":[7],"Systems":[8],"(RTS).":[9],"In":[10],"fact,":[11],"errors":[12],"may":[13],"lead":[14],"to":[15,35,58],"disastrous":[16],"consequences":[17],"on":[18,37],"life":[19],"beings":[20],"and":[21,82],"economy.":[22],"To":[23],"ensure":[24],"the":[25,49,70,97,124],"absence":[26],"or":[27],"avoidance":[28],"such":[30],"errors,":[31],"it":[32],"important":[34],"focus":[36],"RTS":[38],"verification":[39,65,120],"as":[40,42],"early":[41],"possible.":[43],"As":[44],"MARTE":[45],"UML":[46,60],"profile":[47],"standard":[50],"de":[51],"facto":[52],"for":[53],"modelling":[54],"RTS,":[55],"we":[56,73,100,103,128],"suggest":[57],"extend":[59],"diagrams":[61],"by":[62,123],"formal":[64,119],"stage.":[66],"More":[67],"precisely,":[68],"in":[69,96],"first":[71],"part":[72],"propose":[74],"transformation":[76],"approach":[77,131],"Interaction":[79],"Overview":[80],"Diagrams":[81],"Timing":[83],"Diagram":[84],"merged":[85],"with":[86],"UML-MARTE":[87],"annotations":[88],"into":[89],"Time":[90,115],"Petri":[91],"Nets":[92],"(TPN)":[93],"models":[94],"Then,":[95],"second":[98],"part,":[99],"show":[101],"how":[102],"can":[104],"derive":[105],"Timed":[106],"Computational":[107],"Tree":[108],"Logic":[109],"formulae":[110],"from":[111,137],"Object":[112],"Constraint":[113],"Language-Real":[114],"(OCL-RT)":[116],"constraints.":[117],"This":[118],"performed":[122],"Romeo":[125],"model-checker.":[126],"Finally,":[127],"illustrate":[129],"our":[130],"through":[132],"case":[134],"study":[135],"derived":[136],"RT":[139],"asynchronous":[140],"system":[141],"(Integrated":[142],"Modular":[143],"Avionics/based":[144],"airborne":[145],"system).":[146]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2018-06-21T00:00:00"}