{"id":"https://openalex.org/W2141499275","doi":"https://doi.org/10.1145/1810295.1810334","title":"Towards better support for the evolution of safety requirements via the model monitoring approach","display_name":"Towards better support for the evolution of safety requirements via the model monitoring approach","publication_year":2010,"publication_date":"2010-05-01","ids":{"openalex":"https://openalex.org/W2141499275","doi":"https://doi.org/10.1145/1810295.1810334","mag":"2141499275"},"language":"en","primary_location":{"id":"doi:10.1145/1810295.1810334","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1810295.1810334","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2","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/A5100457637","display_name":"Zhe Chen","orcid":"https://orcid.org/0000-0001-5004-8975"},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I196454796","display_name":"Institut National des Sciences Appliqu\u00e9es de Toulouse","ror":"https://ror.org/01h8pf755","country_code":"FR","type":"education","lineage":["https://openalex.org/I196454796","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Zhe Chen","raw_affiliation_strings":["Universit\u00e9 de Toulouse, INSA, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Toulouse, INSA, Toulouse, France","institution_ids":["https://openalex.org/I196454796","https://openalex.org/I17866349"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087089729","display_name":"Gilles Motet","orcid":"https://orcid.org/0000-0002-0522-9643"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gilles Motet","raw_affiliation_strings":["Foundation for an Industrial Safety Culture, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"Foundation for an Industrial Safety Culture, Toulouse, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100457637"],"corresponding_institution_ids":["https://openalex.org/I17866349","https://openalex.org/I196454796"],"apc_list":null,"apc_paid":null,"fwci":1.6726,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84679105,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"219","last_page":"222"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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/computer-science","display_name":"Computer science","score":0.6207042336463928},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.46548429131507874},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4081438481807709},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3627256155014038},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.26674917340278625}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6207042336463928},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.46548429131507874},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4081438481807709},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3627256155014038},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.26674917340278625},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1810295.1810334","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1810295.1810334","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.47999998927116394,"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1979349468","https://openalex.org/W1990609140","https://openalex.org/W2101521071","https://openalex.org/W2115309705","https://openalex.org/W2129103796","https://openalex.org/W2132008977","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W6684644128"],"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/W2382290278"],"abstract_inverted_index":{"The":[0],"research":[1],"is":[2],"motivated":[3],"by":[4],"the":[5,8,35,42,45],"challenge":[6],"from":[7],"evolution":[9,43],"of":[10,17],"safety":[11],"requirements,":[12],"which":[13],"leads":[14],"to":[15,39],"revision":[16],"system":[18],"designs":[19],"at":[20,24,47],"design-time":[21],"or":[22],"post-implementation":[23],"a":[25,31,48],"high":[26],"cost.":[27,50],"This":[28],"paper":[29],"proposes":[30],"complementary":[32],"methodology,":[33],"namely":[34],"model":[36],"monitoring":[37],"approach,":[38],"better":[40],"support":[41],"throughout":[44],"life-cycle":[46],"lower":[49]},"counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}