{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T11:00:31Z","timestamp":1648983631229},"reference-count":47,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1996,4,1]],"date-time":"1996-04-01T00:00:00Z","timestamp":828316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1996,4]]},"DOI":"10.1016\/0164-1212(95)00121-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:26:53Z","timestamp":1027636013000},"page":"37-56","source":"Crossref","is-referenced-by-count":8,"title":["A design methodology for real-time systems to be implemented on multiprocessor machines"],"prefix":"10.1016","volume":"33","author":[{"given":"Lichen","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Chaib-draa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(95)00121-2_BIB1","series-title":"IEEE Conference on Systems, Man and Cybernetics","first-page":"707","article-title":"A Design and Modeling Methodology for Performance Evaluation in Real-Time Distributed Software Systems","author":"Ammar","year":"1991"},{"key":"10.1016\/0164-1212(95)00121-2_BIB2","author":"Andrews","year":"1991"},{"issue":"No. 9","key":"10.1016\/0164-1212(95)00121-2_BIB3","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1109\/TSE.1986.6313044","article-title":"RT-ASLAN: a Specification Language for Real-Time Systems","volume":"Vol. Se-12","author":"Auernherimer","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"issue":"No. 2","key":"10.1016\/0164-1212(95)00121-2_BIB4","doi-asserted-by":"crossref","DOI":"10.1145\/77600.77622","article-title":"On the Execution of Parallel Programs on Multiprocessor Systems: a Queuing Theory Approach","volume":"Vol. 37","author":"Bacceli","year":"1990","journal-title":"J. of the ACM"},{"key":"10.1016\/0164-1212(95)00121-2_BIB5","article-title":"The synchronous language ESTEREL: Design, Semantics and Implementation","author":"Berry","year":"1988","journal-title":"INRIA Report 842"},{"issue":"No. 2","key":"10.1016\/0164-1212(95)00121-2_BIB6","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1109\/TSE.1986.6312937","article-title":"Object-Oriented Development","volume":"Vol. Se-12","author":"Booch","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"issue":"No. 2","key":"10.1016\/0164-1212(95)00121-2_BIB7","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1109\/TSE.1986.6312938","article-title":"An overview of JSD","volume":"Vol. Se-12","author":"Cameron","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(95)00121-2_BIB8","author":"Carlini","year":"1991"},{"key":"10.1016\/0164-1212(95)00121-2_BIB9","article-title":"Functional specification and description language (SDL)","volume":"Vol. VI","author":"CCITT","year":"1981","journal-title":"Recommendations Z.101\u2013Z.104"},{"issue":"Issue-2","key":"10.1016\/0164-1212(95)00121-2_BIB10","article-title":"Recommendation for Space Data System Standards. Packet Telemetry","author":"CCSDS","year":"1987","journal-title":"CSDS Recommendation, Blue Book"},{"key":"10.1016\/0164-1212(95)00121-2_BIB11","article-title":"Advanced Orbiting Systems, Networks and Data links","author":"CCSDS","year":"1989","journal-title":"CCSDS 700.0-G-2"},{"issue":"No. 6","key":"10.1016\/0164-1212(95)00121-2_BIB12","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1109\/TC.1987.1676960","article-title":"Task Allocation and Precedence Relations for Distributed Real-Time Systems","volume":"Vol. C30","author":"Chu","year":"1987","journal-title":"IEEE Trans. Computer"},{"key":"10.1016\/0164-1212(95)00121-2_BIB13","author":"DeMarco","year":"1978"},{"issue":"No. 5","key":"10.1016\/0164-1212(95)00121-2_BIB14","doi-asserted-by":"crossref","DOI":"10.1145\/103167.103173","article-title":"Multilevel Specification of Real-Time Systems","volume":"Vol. 34","author":"Gabrielian","year":"1991","journal-title":"Communication of the ACM"},{"key":"10.1016\/0164-1212(95)00121-2_BIB15","series-title":"Foundations of Real-Time Computing: Formal Specifications and Methods","article-title":"HMS machines: A unified framework for specification, verification and reasoning for real-time systems","author":"Gabrielian","year":"1991"},{"key":"10.1016\/0164-1212(95)00121-2_BIB16","author":"Gelenbe","year":"1986"},{"key":"10.1016\/0164-1212(95)00121-2_BIB17","author":"Granham","year":"1990"},{"key":"10.1016\/0164-1212(95)00121-2_BIB18","first-page":"231","article-title":"Statecharts, a visual formalism for complex systems","volume":"Vol. 8","author":"Harel","year":"1987"},{"key":"10.1016\/0164-1212(95)00121-2_BIB19","article-title":"Strategies for Real-Time Systems","author":"Haltley","year":"1985"},{"issue":"issue 3.0","key":"10.1016\/0164-1212(95)00121-2_BIB20","year":"1989","journal-title":"HOOD Reference Manual"},{"issue":"No. 10","key":"10.1016\/0164-1212(95)00121-2_BIB21","doi-asserted-by":"crossref","first-page":"1133","DOI":"10.1109\/TSE.1985.231859","article-title":"Modeling of Software Partition for Distributed Real-Time Applications","volume":"Vol. SE 11","author":"Huang","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(95)00121-2_BIB22","author":"IECCA Joint and MUF Committee on MASCOT (JIMCOM)","year":"1987"},{"key":"10.1016\/0164-1212(95)00121-2_BIB23","article-title":"System Development","author":"Jackson","year":"1983"},{"issue":"No. 9","key":"10.1016\/0164-1212(95)00121-2_BIB24","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","article-title":"Safety Analysis of Timing Properties in Real-Time Systems","volume":"Vol. Se-12","author":"Jahanian","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(95)00121-2_BIB25","doi-asserted-by":"crossref","unstructured":"D. W. Leinbaugh, Guaranteed Response Time in a Hard-Real-Time Environment, IEEE Trans. Software Eng. SE-6, 1 (Jan), 85\u201391.","DOI":"10.1109\/TSE.1980.234465"},{"key":"10.1016\/0164-1212(95)00121-2_BIB26","article-title":"A formal description technique based on an the temporal ordering of observational behavior","author":"LOTOS","year":"1987","journal-title":"Draft International Standard ISO\/TC97\/SC21-DP8807"},{"issue":"No. 1","key":"10.1016\/0164-1212(95)00121-2_BIB27","doi-asserted-by":"crossref","DOI":"10.1145\/357233.357237","article-title":"Synthesis of Communicating Processes from Temporal Logic Specifications","volume":"Vol. 6","author":"Manna","year":"1984","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"10.1016\/0164-1212(95)00121-2_BIB28","article-title":"A calculus of communicating systems","volume":"Vol. 92","author":"Milner","year":"1980"},{"key":"10.1016\/0164-1212(95)00121-2_BIB29","series-title":"Proceedings of the Sixth IEEE Workshop on Real-Time Operating Systems and Software","first-page":"272","article-title":"Evaluating tight execution time bounds of programs by annotations","author":"Mok","year":"1989"},{"issue":"No. 10","key":"10.1016\/0164-1212(95)00121-2_BIB30","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1985.231863","article-title":"A Distributed Drafting Algorithm for Load Balancing","volume":"Vol. SE 11","author":"Ni","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(95)00121-2_BIB31","series-title":"Proc. 1985 International Conference on Parallel Processing","first-page":"772","article-title":"A Methodology for Predicting Multiprocessor Performance","author":"Norton","year":"1985"},{"key":"10.1016\/0164-1212(95)00121-2_BIB32","series-title":"18th I.E.E.E. Symposium on Foundations of Computer Science","first-page":"46","article-title":"The Temporal Logic of Programs","author":"Pnueli","year":"1977"},{"key":"10.1016\/0164-1212(95)00121-2_BIB33","series-title":"A Tutorial Introduction to OCCAM Programming","author":"Pountain","year":"1987"},{"key":"10.1016\/0164-1212(95)00121-2_BIB34","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","article-title":"Calculating the Maximum Execution Time","volume":"Vol. 1","author":"Puschner","year":"1989","journal-title":"J. of Real-Time Systems"},{"issue":"No. 2","key":"10.1016\/0164-1212(95)00121-2_BIB35","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/71.80146","article-title":"Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems","volume":"Vol. 1","author":"Ramamritham","year":"1990","journal-title":"IEEE Transaction on Parallel and Distributed Systems"},{"key":"10.1016\/0164-1212(95)00121-2_BIB36","author":"Reisig","year":"1982"},{"issue":"No. 4","key":"10.1016\/0164-1212(95)00121-2_BIB37","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.1985.1662862","article-title":"Applications and Extensions of SADT","volume":"Vol. 18","author":"Ross","year":"1985","journal-title":"Computer, IEEE Computer Society"},{"issue":"No. 10","key":"10.1016\/0164-1212(95)00121-2_BIB38","doi-asserted-by":"crossref","first-page":"1105","DOI":"10.1109\/TSE.1987.232852","article-title":"Performance and Reliability Analysis Using Directed Acyclic Graphs","volume":"Vol. SE-13","author":"Sahner","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(95)00121-2_BIB39","series-title":"Foundations of Real-Time Computing: Formal Specifications and Methods","article-title":"Towards a timing semantics for programming languages","author":"Shaw","year":"1991"},{"issue":"No. 7","key":"10.1016\/0164-1212(95)00121-2_BIB40","doi-asserted-by":"crossref","DOI":"10.1109\/32.238572","article-title":"Software Performance Engineering, a Case Study Including Performance Comparison with Design Alternatives","volume":"Vol. 19","author":"Smith","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"issue":"No. 12","key":"10.1016\/0164-1212(95)00121-2_BIB41","doi-asserted-by":"crossref","first-page":"1102","DOI":"10.1109\/TC.1984.1676389","article-title":"A Perspective on Distributed Computer Systems","volume":"Vol. c33","author":"Stankovic","year":"1984","journal-title":"IEEE Trans. Computer"},{"issue":"No. 10","key":"10.1016\/0164-1212(95)00121-2_BIB42","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.7053","article-title":"Misconception About Real-Time Computing: A Serious Problem for Next Generation Systems","volume":"Vol. 21","author":"Stankovic","year":"1988","journal-title":"IEEE Computer"},{"key":"10.1016\/0164-1212(95)00121-2_BIB43","series-title":"Hard Real-Time Systems","author":"Stankovic","year":"1988"},{"issue":"No. 8","key":"10.1016\/0164-1212(95)00121-2_BIB44","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1109\/32.83911","article-title":"Analyzing Hard Real-Time Programs for Guaranteed Schedulability","volume":"Vol. Se-17","author":"Stoyenko","year":"1991","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(95)00121-2_BIB45","article-title":"Structured Development for Real-Time Systems","author":"Ward","year":"1985"},{"issue":"No. 4","key":"10.1016\/0164-1212(95)00121-2_BIB46","first-page":"267","article-title":"Methodology of Real-Time System Design Using Multiprocessors","volume":"Vol. 17","author":"Zhang","year":"1993","journal-title":"Microprocessors and Micro-systems"},{"key":"10.1016\/0164-1212(95)00121-2_BIB47","article-title":"Une M\u00e9thodologie de Conception des Applications Temps Re\u00e9l Destin\u00e9es a \u00eatre Implant\u00e9es sur des Machines Cibles Multiprocesseurs","author":"Zhang","year":"1993"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121295001212?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121295001212?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T21:41:56Z","timestamp":1580247716000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121295001212"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["0164121295001212"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(95)00121-2","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1996,4]]}}}