The Formal Design Model of a Real-Time Operating System (RTOS+) : Conceptual and Architectural Frameworks
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target R...
Ausführliche Beschreibung
Autor*in: |
Wang, Yingxu [verfasserIn] Ngolah, Cyprian F. [author] Zeng, Guangping [author] Choy, C. Philip [author] Sheu, Philip C.Y. [author] Tian, Yousheng [author] |
---|
Format: |
E-Artikel |
---|---|
Sprache: |
Englisch |
Erschienen: |
2010 |
---|
Schlagwörter: |
---|
Umfang: |
Online-Ressource |
---|
Reproduktion: |
IGI Global InfoSci Journals Archive 2000 - 2012 |
---|---|
Übergeordnetes Werk: |
In: International journal of software science and computational intelligence - Hershey, Pa : IGI Global, 2009, 2(2010), 2, Seite 105-122 |
Übergeordnetes Werk: |
volume:2 ; year:2010 ; number:2 ; pages:105-122 |
Links: |
---|
DOI / URN: |
10.4018/jssci.2010040106 |
---|
Katalog-ID: |
NLEJ244501637 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | NLEJ244501637 | ||
003 | DE-627 | ||
005 | 20240202180238.0 | ||
007 | cr uuu---uuuuu | ||
008 | 150605s2010 xx |||||o 00| ||eng c | ||
024 | 7 | |a 10.4018/jssci.2010040106 |2 doi | |
035 | |a (DE-627)NLEJ244501637 | ||
035 | |a (VZGNL)10.4018/jssci.2010040106 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
100 | 1 | |a Wang, Yingxu |e verfasserin |4 aut | |
245 | 1 | 4 | |a The Formal Design Model of a Real-Time Operating System (RTOS+) |b Conceptual and Architectural Frameworks |
264 | 1 | |c 2010 | |
300 | |a Online-Ressource | ||
336 | |a nicht spezifiziert |b zzz |2 rdacontent | ||
337 | |a nicht spezifiziert |b z |2 rdamedia | ||
338 | |a nicht spezifiziert |b zu |2 rdacarrier | ||
520 | |a A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper | ||
533 | |f IGI Global InfoSci Journals Archive 2000 - 2012 | ||
650 | 4 | |a Formal Design Models | |
650 | 4 | |a Real-Time Operating System | |
650 | 4 | |a Real-Time System Design | |
650 | 4 | |a System Architecture Specification | |
650 | 4 | |a System Behavior Specification | |
650 | 4 | |a Unified Data Models | |
650 | 4 | |a Unified Process Models | |
700 | 1 | |a Ngolah, Cyprian F. |e author |4 aut | |
700 | 1 | |a Zeng, Guangping |e author |4 aut | |
700 | 1 | |a Choy, C. Philip |e author |4 oth | |
700 | 1 | |a Sheu, Philip C.Y. |e author |4 oth | |
700 | 1 | |a Tian, Yousheng |e author |4 oth | |
773 | 0 | 8 | |i In |t International journal of software science and computational intelligence |d Hershey, Pa : IGI Global, 2009 |g 2(2010), 2, Seite 105-122 |h Online-Ressource |w (DE-627)NLEJ244419531 |w (DE-600)2703774-5 |x 1942-9037 |7 nnns |
773 | 1 | 8 | |g volume:2 |g year:2010 |g number:2 |g pages:105-122 |
856 | 4 | 0 | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106 |m X:IGIG |x Verlag |z Deutschlandweit zugänglich |
856 | 4 | 2 | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106&buylink=true |q text/html |y Abstract |z Deutschlandweit zugänglich |
912 | |a ZDB-1-GIS | ||
912 | |a GBV_NL_ARTICLE | ||
951 | |a AR | ||
952 | |d 2 |j 2010 |e 2 |h 105-122 |
author_variant |
y w yw c f n cf cfn g z gz c p c cp cpc p c s pc pcs y t yt |
---|---|
matchkey_str |
article:19429037:2010----::hfradsgmdlfratmoea |
hierarchy_sort_str |
2010 |
publishDate |
2010 |
allfields |
10.4018/jssci.2010040106 doi (DE-627)NLEJ244501637 (VZGNL)10.4018/jssci.2010040106 DE-627 ger DE-627 rakwb eng Wang, Yingxu verfasserin aut The Formal Design Model of a Real-Time Operating System (RTOS+) Conceptual and Architectural Frameworks 2010 Online-Ressource nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper IGI Global InfoSci Journals Archive 2000 - 2012 Formal Design Models Real-Time Operating System Real-Time System Design System Architecture Specification System Behavior Specification Unified Data Models Unified Process Models Ngolah, Cyprian F. author aut Zeng, Guangping author aut Choy, C. Philip author oth Sheu, Philip C.Y. author oth Tian, Yousheng author oth In International journal of software science and computational intelligence Hershey, Pa : IGI Global, 2009 2(2010), 2, Seite 105-122 Online-Ressource (DE-627)NLEJ244419531 (DE-600)2703774-5 1942-9037 nnns volume:2 year:2010 number:2 pages:105-122 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106 X:IGIG Verlag Deutschlandweit zugänglich http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106&buylink=true text/html Abstract Deutschlandweit zugänglich ZDB-1-GIS GBV_NL_ARTICLE AR 2 2010 2 105-122 |
spelling |
10.4018/jssci.2010040106 doi (DE-627)NLEJ244501637 (VZGNL)10.4018/jssci.2010040106 DE-627 ger DE-627 rakwb eng Wang, Yingxu verfasserin aut The Formal Design Model of a Real-Time Operating System (RTOS+) Conceptual and Architectural Frameworks 2010 Online-Ressource nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper IGI Global InfoSci Journals Archive 2000 - 2012 Formal Design Models Real-Time Operating System Real-Time System Design System Architecture Specification System Behavior Specification Unified Data Models Unified Process Models Ngolah, Cyprian F. author aut Zeng, Guangping author aut Choy, C. Philip author oth Sheu, Philip C.Y. author oth Tian, Yousheng author oth In International journal of software science and computational intelligence Hershey, Pa : IGI Global, 2009 2(2010), 2, Seite 105-122 Online-Ressource (DE-627)NLEJ244419531 (DE-600)2703774-5 1942-9037 nnns volume:2 year:2010 number:2 pages:105-122 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106 X:IGIG Verlag Deutschlandweit zugänglich http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106&buylink=true text/html Abstract Deutschlandweit zugänglich ZDB-1-GIS GBV_NL_ARTICLE AR 2 2010 2 105-122 |
allfields_unstemmed |
10.4018/jssci.2010040106 doi (DE-627)NLEJ244501637 (VZGNL)10.4018/jssci.2010040106 DE-627 ger DE-627 rakwb eng Wang, Yingxu verfasserin aut The Formal Design Model of a Real-Time Operating System (RTOS+) Conceptual and Architectural Frameworks 2010 Online-Ressource nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper IGI Global InfoSci Journals Archive 2000 - 2012 Formal Design Models Real-Time Operating System Real-Time System Design System Architecture Specification System Behavior Specification Unified Data Models Unified Process Models Ngolah, Cyprian F. author aut Zeng, Guangping author aut Choy, C. Philip author oth Sheu, Philip C.Y. author oth Tian, Yousheng author oth In International journal of software science and computational intelligence Hershey, Pa : IGI Global, 2009 2(2010), 2, Seite 105-122 Online-Ressource (DE-627)NLEJ244419531 (DE-600)2703774-5 1942-9037 nnns volume:2 year:2010 number:2 pages:105-122 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106 X:IGIG Verlag Deutschlandweit zugänglich http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106&buylink=true text/html Abstract Deutschlandweit zugänglich ZDB-1-GIS GBV_NL_ARTICLE AR 2 2010 2 105-122 |
allfieldsGer |
10.4018/jssci.2010040106 doi (DE-627)NLEJ244501637 (VZGNL)10.4018/jssci.2010040106 DE-627 ger DE-627 rakwb eng Wang, Yingxu verfasserin aut The Formal Design Model of a Real-Time Operating System (RTOS+) Conceptual and Architectural Frameworks 2010 Online-Ressource nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper IGI Global InfoSci Journals Archive 2000 - 2012 Formal Design Models Real-Time Operating System Real-Time System Design System Architecture Specification System Behavior Specification Unified Data Models Unified Process Models Ngolah, Cyprian F. author aut Zeng, Guangping author aut Choy, C. Philip author oth Sheu, Philip C.Y. author oth Tian, Yousheng author oth In International journal of software science and computational intelligence Hershey, Pa : IGI Global, 2009 2(2010), 2, Seite 105-122 Online-Ressource (DE-627)NLEJ244419531 (DE-600)2703774-5 1942-9037 nnns volume:2 year:2010 number:2 pages:105-122 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106 X:IGIG Verlag Deutschlandweit zugänglich http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106&buylink=true text/html Abstract Deutschlandweit zugänglich ZDB-1-GIS GBV_NL_ARTICLE AR 2 2010 2 105-122 |
allfieldsSound |
10.4018/jssci.2010040106 doi (DE-627)NLEJ244501637 (VZGNL)10.4018/jssci.2010040106 DE-627 ger DE-627 rakwb eng Wang, Yingxu verfasserin aut The Formal Design Model of a Real-Time Operating System (RTOS+) Conceptual and Architectural Frameworks 2010 Online-Ressource nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper IGI Global InfoSci Journals Archive 2000 - 2012 Formal Design Models Real-Time Operating System Real-Time System Design System Architecture Specification System Behavior Specification Unified Data Models Unified Process Models Ngolah, Cyprian F. author aut Zeng, Guangping author aut Choy, C. Philip author oth Sheu, Philip C.Y. author oth Tian, Yousheng author oth In International journal of software science and computational intelligence Hershey, Pa : IGI Global, 2009 2(2010), 2, Seite 105-122 Online-Ressource (DE-627)NLEJ244419531 (DE-600)2703774-5 1942-9037 nnns volume:2 year:2010 number:2 pages:105-122 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106 X:IGIG Verlag Deutschlandweit zugänglich http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106&buylink=true text/html Abstract Deutschlandweit zugänglich ZDB-1-GIS GBV_NL_ARTICLE AR 2 2010 2 105-122 |
language |
English |
source |
In International journal of software science and computational intelligence 2(2010), 2, Seite 105-122 volume:2 year:2010 number:2 pages:105-122 |
sourceStr |
In International journal of software science and computational intelligence 2(2010), 2, Seite 105-122 volume:2 year:2010 number:2 pages:105-122 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
topic_facet |
Formal Design Models Real-Time Operating System Real-Time System Design System Architecture Specification System Behavior Specification Unified Data Models Unified Process Models |
isfreeaccess_bool |
false |
container_title |
International journal of software science and computational intelligence |
authorswithroles_txt_mv |
Wang, Yingxu @@aut@@ Ngolah, Cyprian F. @@aut@@ Zeng, Guangping @@aut@@ Choy, C. Philip @@oth@@ Sheu, Philip C.Y. @@oth@@ Tian, Yousheng @@oth@@ |
publishDateDaySort_date |
2010-01-01T00:00:00Z |
hierarchy_top_id |
NLEJ244419531 |
id |
NLEJ244501637 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">NLEJ244501637</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20240202180238.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">150605s2010 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/jssci.2010040106</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)NLEJ244501637</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(VZGNL)10.4018/jssci.2010040106</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wang, Yingxu</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">The Formal Design Model of a Real-Time Operating System (RTOS+)</subfield><subfield code="b">Conceptual and Architectural Frameworks</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="f">IGI Global InfoSci Journals Archive 2000 - 2012</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Design Models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-Time Operating System</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-Time System Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System Architecture Specification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System Behavior Specification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Unified Data Models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Unified Process Models</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ngolah, Cyprian F.</subfield><subfield code="e">author</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zeng, Guangping</subfield><subfield code="e">author</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Choy, C. Philip</subfield><subfield code="e">author</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sheu, Philip C.Y.</subfield><subfield code="e">author</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tian, Yousheng</subfield><subfield code="e">author</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">In</subfield><subfield code="t">International journal of software science and computational intelligence</subfield><subfield code="d">Hershey, Pa : IGI Global, 2009</subfield><subfield code="g">2(2010), 2, Seite 105-122</subfield><subfield code="h">Online-Ressource</subfield><subfield code="w">(DE-627)NLEJ244419531</subfield><subfield code="w">(DE-600)2703774-5</subfield><subfield code="x">1942-9037</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:2</subfield><subfield code="g">year:2010</subfield><subfield code="g">number:2</subfield><subfield code="g">pages:105-122</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106</subfield><subfield code="m">X:IGIG</subfield><subfield code="x">Verlag</subfield><subfield code="z">Deutschlandweit zugänglich</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106&buylink=true</subfield><subfield code="q">text/html</subfield><subfield code="y">Abstract</subfield><subfield code="z">Deutschlandweit zugänglich</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-GIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_NL_ARTICLE</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">2</subfield><subfield code="j">2010</subfield><subfield code="e">2</subfield><subfield code="h">105-122</subfield></datafield></record></collection>
|
series2 |
IGI Global InfoSci Journals Archive 2000 - 2012 |
author |
Wang, Yingxu |
spellingShingle |
Wang, Yingxu misc Formal Design Models misc Real-Time Operating System misc Real-Time System Design misc System Architecture Specification misc System Behavior Specification misc Unified Data Models misc Unified Process Models The Formal Design Model of a Real-Time Operating System (RTOS+) Conceptual and Architectural Frameworks |
authorStr |
Wang, Yingxu |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)NLEJ244419531 |
format |
electronic Article |
delete_txt_mv |
keep |
author_role |
aut aut aut oth oth oth |
collection |
NL |
remote_str |
true |
illustrated |
Not Illustrated |
issn |
1942-9037 |
topic_title |
The Formal Design Model of a Real-Time Operating System (RTOS+) Conceptual and Architectural Frameworks Formal Design Models Real-Time Operating System Real-Time System Design System Architecture Specification System Behavior Specification Unified Data Models Unified Process Models |
topic |
misc Formal Design Models misc Real-Time Operating System misc Real-Time System Design misc System Architecture Specification misc System Behavior Specification misc Unified Data Models misc Unified Process Models |
topic_unstemmed |
misc Formal Design Models misc Real-Time Operating System misc Real-Time System Design misc System Architecture Specification misc System Behavior Specification misc Unified Data Models misc Unified Process Models |
topic_browse |
misc Formal Design Models misc Real-Time Operating System misc Real-Time System Design misc System Architecture Specification misc System Behavior Specification misc Unified Data Models misc Unified Process Models |
format_facet |
Elektronische Aufsätze Aufsätze Elektronische Ressource |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
zu |
author2_variant |
c p c cp cpc p c s pc pcs y t yt |
hierarchy_parent_title |
International journal of software science and computational intelligence |
hierarchy_parent_id |
NLEJ244419531 |
hierarchy_top_title |
International journal of software science and computational intelligence |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)NLEJ244419531 (DE-600)2703774-5 |
title |
The Formal Design Model of a Real-Time Operating System (RTOS+) Conceptual and Architectural Frameworks |
ctrlnum |
(DE-627)NLEJ244501637 (VZGNL)10.4018/jssci.2010040106 |
title_full |
The Formal Design Model of a Real-Time Operating System (RTOS+) Conceptual and Architectural Frameworks |
author_sort |
Wang, Yingxu |
journal |
International journal of software science and computational intelligence |
journalStr |
International journal of software science and computational intelligence |
lang_code |
eng |
isOA_bool |
false |
recordtype |
marc |
publishDateSort |
2010 |
contenttype_str_mv |
zzz |
container_start_page |
105 |
author_browse |
Wang, Yingxu Ngolah, Cyprian F. Zeng, Guangping |
container_volume |
2 |
physical |
Online-Ressource |
format_se |
Elektronische Aufsätze |
author-letter |
Wang, Yingxu |
title_sub |
Conceptual and Architectural Frameworks |
doi_str_mv |
10.4018/jssci.2010040106 |
author2-role |
author |
title_sort |
formal design model of a real-time operating system (rtos+)conceptual and architectural frameworks |
title_auth |
The Formal Design Model of a Real-Time Operating System (RTOS+) Conceptual and Architectural Frameworks |
abstract |
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper |
abstractGer |
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper |
abstract_unstemmed |
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper |
collection_details |
ZDB-1-GIS GBV_NL_ARTICLE |
container_issue |
2 |
title_short |
The Formal Design Model of a Real-Time Operating System (RTOS+) |
url |
http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106&buylink=true |
remote_bool |
true |
author2 |
Ngolah, Cyprian F. Zeng, Guangping Choy, C. Philip Sheu, Philip C.Y. Tian, Yousheng |
author2Str |
Ngolah, Cyprian F. Zeng, Guangping Choy, C. Philip Sheu, Philip C.Y. Tian, Yousheng |
ppnlink |
NLEJ244419531 |
mediatype_str_mv |
z |
isOA_txt |
false |
hochschulschrift_bool |
false |
author2_role |
oth oth oth |
doi_str |
10.4018/jssci.2010040106 |
up_date |
2024-07-06T08:06:31.008Z |
_version_ |
1803816210015453185 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">NLEJ244501637</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20240202180238.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">150605s2010 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/jssci.2010040106</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)NLEJ244501637</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(VZGNL)10.4018/jssci.2010040106</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wang, Yingxu</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">The Formal Design Model of a Real-Time Operating System (RTOS+)</subfield><subfield code="b">Conceptual and Architectural Frameworks</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world applications. The methodology of a denotational mathematics, Real-Time Process Algebra (RTPA), is described for formally modeling and refining architectures, static behaviors, and dynamic behaviors of RTOS+. The conceptual model of the RTOS+ system is introduced as the initial requirements for the system. The architectural model of RTOS+ is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of RTOS+ are specified and refined by a set of Unified Process Models (UPMs). The dynamic behaviors of the RTOS+ system are specified and refined by the real-time process scheduler and system dispatcher. This work is presented in two papers; the conceptual and architectural models of RTOS+ is described in this paper, while the static and dynamic behavioral models of RTOS+ will be elaborated in a forthcoming paper</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="f">IGI Global InfoSci Journals Archive 2000 - 2012</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Design Models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-Time Operating System</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-Time System Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System Architecture Specification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System Behavior Specification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Unified Data Models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Unified Process Models</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ngolah, Cyprian F.</subfield><subfield code="e">author</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zeng, Guangping</subfield><subfield code="e">author</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Choy, C. Philip</subfield><subfield code="e">author</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sheu, Philip C.Y.</subfield><subfield code="e">author</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tian, Yousheng</subfield><subfield code="e">author</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">In</subfield><subfield code="t">International journal of software science and computational intelligence</subfield><subfield code="d">Hershey, Pa : IGI Global, 2009</subfield><subfield code="g">2(2010), 2, Seite 105-122</subfield><subfield code="h">Online-Ressource</subfield><subfield code="w">(DE-627)NLEJ244419531</subfield><subfield code="w">(DE-600)2703774-5</subfield><subfield code="x">1942-9037</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:2</subfield><subfield code="g">year:2010</subfield><subfield code="g">number:2</subfield><subfield code="g">pages:105-122</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106</subfield><subfield code="m">X:IGIG</subfield><subfield code="x">Verlag</subfield><subfield code="z">Deutschlandweit zugänglich</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2010040106&buylink=true</subfield><subfield code="q">text/html</subfield><subfield code="y">Abstract</subfield><subfield code="z">Deutschlandweit zugänglich</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-GIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_NL_ARTICLE</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">2</subfield><subfield code="j">2010</subfield><subfield code="e">2</subfield><subfield code="h">105-122</subfield></datafield></record></collection>
|
score |
7.3980665 |