{"id":"https://openalex.org/W2107903147","doi":"https://doi.org/10.1109/cmpsac.2002.1045078","title":"Formalizing incremental design in real-time area: SCTL/MUS-T","display_name":"Formalizing incremental design in real-time area: SCTL/MUS-T","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2107903147","doi":"https://doi.org/10.1109/cmpsac.2002.1045078","mag":"2107903147"},"language":"en","primary_location":{"id":"doi:10.1109/cmpsac.2002.1045078","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cmpsac.2002.1045078","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 26th Annual International Computer Software and Applications","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/A5091308112","display_name":"Ana Fern\u00e1ndez Vilas","orcid":"https://orcid.org/0000-0003-1047-2143"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"A.F. Vilas","raw_affiliation_strings":["Departamento de Ingenieria Telematica, Vigo Univ., Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Ingenieria Telematica, Vigo Univ., Spain","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024510171","display_name":"Jos\u00e9 J. Pazos\u2010Arias","orcid":"https://orcid.org/0000-0002-0424-5481"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"J.J.P. Arias","raw_affiliation_strings":["Departamento de Ingenieria Telematica, Vigo Univ., Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Ingenieria Telematica, Vigo Univ., Spain","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076160231","display_name":"Rebeca P. D\u0131\u0301az Redondo","orcid":"https://orcid.org/0000-0002-2367-2219"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"R.P.D. Redondo","raw_affiliation_strings":["Departamento de Ingenieria Telematica, Vigo Univ., Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Ingenieria Telematica, Vigo Univ., Spain","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075996121","display_name":"Ana Bel\u00e9n Barrag\u00e1ns Mart\u00ednez","orcid":"https://orcid.org/0000-0002-5011-989X"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"A.B.B. Martinez","raw_affiliation_strings":["Departamento de Ingenieria Telematica, Vigo Univ., Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Ingenieria Telematica, Vigo Univ., Spain","institution_ids":["https://openalex.org/I6289922"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5091308112"],"corresponding_institution_ids":["https://openalex.org/I6289922"],"apc_list":null,"apc_paid":null,"fwci":0.2065,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.4551899,"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":"659","last_page":"664"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994999766349792,"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.9994999766349792,"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.9991000294685364,"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.9983000159263611,"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/correctness","display_name":"Correctness","score":0.9274513125419617},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7397868037223816},{"id":"https://openalex.org/keywords/iterative-and-incremental-development","display_name":"Iterative and incremental development","score":0.5490272045135498},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5198127031326294},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4156871438026428},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3843785524368286},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3806532919406891},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32788240909576416},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32111790776252747},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24672135710716248},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10553091764450073}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9274513125419617},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7397868037223816},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.5490272045135498},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5198127031326294},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4156871438026428},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3843785524368286},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3806532919406891},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32788240909576416},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32111790776252747},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24672135710716248},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10553091764450073},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cmpsac.2002.1045078","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cmpsac.2002.1045078","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 26th Annual International Computer Software and Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1502713995","https://openalex.org/W1548903741","https://openalex.org/W1981808971","https://openalex.org/W1988608457","https://openalex.org/W2001516787","https://openalex.org/W2044789794","https://openalex.org/W2501120957","https://openalex.org/W2968619922"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W2353986702","https://openalex.org/W42880992"],"abstract_inverted_index":{"Achievement":[0],"of":[1,17,43,54,74],"quality":[2],"in":[3,25,65,96],"software":[4],"design,":[5],"while":[6],"never":[7],"easy,":[8],"is":[9],"made":[10],"more":[11],"difficult":[12],"by":[13,28,72],"the":[14,40,44,51,55],"inherent":[15],"complexity":[16,58,71],"hard":[18],"real-time":[19],"(HRT)":[20],"design.":[21],"Furthermore,":[22],"timing":[23,48],"requirements":[24,49,67],"HRT":[26,94],"are":[27],"nature":[29],"functional":[30],"requirements,":[31],"since":[32],"system":[33],"correctness":[34,41],"depends":[35],"on":[36],"their":[37],"fulfillment.":[38],"Whereas":[39],"dependence":[42],"time":[45],"imposes":[46],"considering":[47],"from":[50],"early":[52],"stages":[53],"production":[56],"process,":[57],"enforces":[59],"a":[60,84,97],"lifecycle":[61],"model":[62],"which":[63],"fits":[64],"with":[66],"change":[68],"and":[69,77,99],"splits":[70],"means":[73],"an":[75],"incremental":[76,100],"iterative":[78],"structure.":[79],"Taking":[80],"these":[81],"aims":[82],"as":[83,92],"starting":[85],"point,":[86],"this":[87],"paper":[88],"introduces":[89],"SCTL/MUS-T":[90],"methodology":[91],"supporting":[93],"design":[95],"formalized":[98],"way.":[101]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-01-29T23:13:10.619473","created_date":"2025-10-10T00:00:00"}