{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:14:50Z","timestamp":1726413290849},"reference-count":67,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,6,20]],"date-time":"2009-06-20T00:00:00Z","timestamp":1245456000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10617-009-9041-7","type":"journal-article","created":{"date-parts":[[2009,6,19]],"date-time":"2009-06-19T08:59:51Z","timestamp":1245401991000},"page":"245-285","source":"Crossref","is-referenced-by-count":8,"title":["An optimization based design for integrated dependable real-time embedded systems"],"prefix":"10.1007","volume":"13","author":[{"given":"Shariful","family":"Islam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neeraj","family":"Suri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Balogh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gy\u00f6rgy","family":"Csert\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Pataricza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,6,20]]},"reference":[{"issue":"3","key":"9041_CR1","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1145\/1142980.1142984","volume":"11","author":"P Pop","year":"2006","unstructured":"Pop P, Eles P, Peng Z, Pop T (2006) Analysis and optimization of distributed real-time embedded systems. ACM Trans Des Autom Electron Syst 11(3):593\u2013625","journal-title":"ACM Trans Des Autom Electron Syst"},{"key":"9041_CR2","unstructured":"Rushby J (1999) Partitioning in avionics architectures: requirements, mechanisms, and assurance. SRI International, NASA\/CR-1999-209347"},{"key":"9041_CR3","doi-asserted-by":"crossref","unstructured":"Jhumka A, Klaus S, Huss SA (2005) A\u00a0dependability-driven system-level design approach for embedded systems. In: DATE, pp\u00a0372\u2013377","DOI":"10.1109\/DATE.2005.10"},{"issue":"6","key":"9041_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/54.970421","volume":"18","author":"A Sangiovanni-Vincentelli","year":"2001","unstructured":"Sangiovanni-Vincentelli A, Martin G (2001) Platform-based design and software design methodology for embedded systems. IEEE Des Test 18(6):23\u201333","journal-title":"IEEE Des Test"},{"key":"9041_CR5","unstructured":"Lee Y-H, Kim D, Younis M, Zhou J, McElroy J (2000) Resource scheduling in dependable integrated modular avionics. In: DSN, pp 14\u201323"},{"issue":"11","key":"9041_CR6","first-page":"649","volume":"50","author":"MF Younis","year":"2004","unstructured":"Younis MF, Aboutabl M, Kim D (2004) Software environment for integrating critical real-time control systems. J\u00a0Syst Arch 50(11):649\u2013674","journal-title":"J\u00a0Syst Arch"},{"key":"9041_CR7","unstructured":"ARINC (1991) Design guidance for integrated modular avionics. Aeronautical Radio Inc, ARINC Report 651"},{"key":"9041_CR8","unstructured":"AUTOSAR (2006) Technical overview V2.0.1. AUTOSAR GbR"},{"key":"9041_CR9","unstructured":"Kopetz H, Obermaisser R, Peti P, Suri N (2004) From a federated to an integrated architecture for dependable embedded real-time systems. Technical Report 22, Institut f\u00fcr Technische Informatik, Technische Universit\u00e4t Wien, Austria, Treitlstr. 1-3\/182-1"},{"key":"9041_CR10","doi-asserted-by":"crossref","unstructured":"Peti P, Obermaisser R, Tagliabo F, Marino A, Cerchio S (2005) An integrated architecture for future car generations. In: ISORC, pp 2\u201313","DOI":"10.1109\/ISORC.2005.12"},{"key":"9041_CR11","doi-asserted-by":"crossref","unstructured":"Berger A (2002) Embedded systems design: an introduction to processes, tools and techniques. CMP Books, USA","DOI":"10.1201\/9781482280715"},{"key":"9041_CR12","unstructured":"OMG (2003) Model driven architecture (MDA), a technical perspective. OMG Document No ab\/2001-02-04, Object Management Group"},{"issue":"11","key":"9041_CR13","doi-asserted-by":"crossref","first-page":"1427","DOI":"10.1109\/32.41334","volume":"15","author":"D Fernandez-Baca","year":"1989","unstructured":"Fernandez-Baca D (1989) Allocating modules to processors in a distributed system. IEEE Trans Softw Eng 15(11):1427\u20131436","journal-title":"IEEE Trans Softw Eng"},{"key":"9041_CR14","volume-title":"Computers and intractability: a guide to the theory of NP-completeness","author":"MR Garey","year":"1979","unstructured":"Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of NP-completeness. Freeman, New York"},{"key":"9041_CR15","doi-asserted-by":"crossref","unstructured":"Islam S, Lindstr\u00f6m R, Suri N (2006) Dependability driven integration of mixed criticality SW components. In: ISORC, pp 485\u2013495","DOI":"10.1109\/ISORC.2006.26"},{"key":"9041_CR16","doi-asserted-by":"crossref","unstructured":"Balogh A, Varr\u00f3 D (2006) Advanced model transformation language constructs in the VIATRA2 framework. In: SAC, pp 1280\u20131287","DOI":"10.1145\/1141277.1141575"},{"key":"9041_CR17","doi-asserted-by":"crossref","unstructured":"Ekelin C, Jonsson J (2001) Evaluation of search heuristics for embedded system scheduling problems. In: Constraint programming, pp 640\u2013654","DOI":"10.1007\/3-540-45578-7_53"},{"issue":"3","key":"9041_CR18","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/785411.785416","volume":"8","author":"K Kuchcinski","year":"2003","unstructured":"Kuchcinski K (2003) Constraints-driven scheduling and resource assignment. ACM Trans Des Autom Electron Syst 8(3):355\u2013383","journal-title":"ACM Trans Des Autom Electron Syst"},{"key":"9041_CR19","unstructured":"Wang S, Merrick JR, Shin KG (2004) Component allocation with multiple resource constraints for large embedded real-time software design. In: RTAS, pp 219\u2013226"},{"key":"9041_CR20","doi-asserted-by":"crossref","unstructured":"Rajkumar R, Lee C, Lehoczky JP, Siewiorek DP (1998) Practical solutions for QoS-based resource allocation. In: RTSS, pp 296\u2013306","DOI":"10.1109\/REAL.1998.739755"},{"key":"9041_CR21","doi-asserted-by":"crossref","unstructured":"Ghosh S, Rajkumar R, Hansen J, Lehoczky J (2003) Scalable resource allocation for multi-processor QoS optimization. In: ICDCS, pp 174\u2013183","DOI":"10.1109\/ICDCS.2003.1203464"},{"key":"9041_CR22","doi-asserted-by":"crossref","unstructured":"Kodase S, Wang S, Gu Z, Shin K (2003) Improving scalability of task allocation and scheduling in large distributed real-time systems using shared buffers. In: RTAS, pp 181\u2013188","DOI":"10.1109\/RTTAS.2003.1203050"},{"issue":"3","key":"9041_CR23","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF01088524","volume":"7","author":"Y Oh","year":"1994","unstructured":"Oh Y, Son SH (1994) Enhancing fault-tolerance in rate-monotonic scheduling. Real-Time Syst 7(3):315\u2013329","journal-title":"Real-Time Syst"},{"key":"9041_CR24","doi-asserted-by":"crossref","unstructured":"Kandasamy N, Hayes JP, Murray BT (1999) Tolerating transient faults in statically scheduled safety-critical embedded systems. In: SRDS, pp 212\u2013221","DOI":"10.1109\/RELDIS.1999.805097"},{"key":"9041_CR25","volume-title":"Constraint-based verification","author":"J Yuan","year":"2006","unstructured":"Yuan J, Pixley C, Aziz A (2006) Constraint-based verification. Springer, New York"},{"key":"9041_CR26","doi-asserted-by":"crossref","unstructured":"Suri N, Ghosh S, Marlowe T (1998) A\u00a0framework for dependability driven software integration. In: ICDCS, pp 406\u2013415","DOI":"10.1109\/ICDCS.1998.679755"},{"key":"9041_CR27","unstructured":"Mustafiz S, Kienzle J (2004) A\u00a0survey of software development approaches addressing dependability. In: FIDJI, pp 78\u201390"},{"key":"9041_CR28","doi-asserted-by":"crossref","unstructured":"Effinger M, Miller C, Roll W, Sharp D, Stuart D (2001) Challenges and visions for model-based integration of avionics systems. In: DASC, vol\u00a02, pp 9B5\/1\u20139B5\/12","DOI":"10.1109\/DASC.2001.964252"},{"key":"9041_CR29","unstructured":"Yin X, Kiskis DL, Mihalik D, Shin KG (2006) Integration of an analysis tool for large-scale embedded real-time software into a vehicle control platform development tool chain. In: ESA, pp 53\u201359"},{"issue":"1","key":"9041_CR30","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1109\/JPROC.2002.805821","volume":"91","author":"H Kopetz","year":"2003","unstructured":"Kopetz H, Bauer G (2003) The time-triggered architecture. Proc IEEE 91(1):112\u2013126","journal-title":"Proc IEEE"},{"issue":"1","key":"9041_CR31","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"J-C Laprie","year":"2004","unstructured":"Laprie J-C, Randell B (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secur Comput 1(1):11\u201333","journal-title":"IEEE Trans Dependable Secur Comput"},{"issue":"1","key":"9041_CR32","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/2.248873","volume":"27","author":"H Kopetz","year":"1994","unstructured":"Kopetz H, Gr\u00fcnsteidl G (1994) TTP\u2014a protocol for fault-tolerant real-time systems. Computer 27(1):14\u201323","journal-title":"Computer"},{"key":"9041_CR33","unstructured":"The FlexRay Group (2005) FlexRay communications system protocol specification, version 2.1. http:\/\/www.flexray.com\/"},{"key":"9041_CR34","volume-title":"Engineering optimization: theory and practice","author":"S Rao","year":"1996","unstructured":"Rao S (1996) Engineering optimization: theory and practice. Wiley-Interscience, New York"},{"key":"9041_CR35","doi-asserted-by":"crossref","unstructured":"Balogh A, Pataricza A, R\u00e1cz J (2007) Scheduling of time-triggered embedded systems. In: EFTS, pp\u00a044\u201349","DOI":"10.1145\/1316550.1316558"},{"key":"9041_CR36","unstructured":"ILOG CPLEX (2007) Optimization tool. http:\/\/www.ilog.com\/products\/cplex\/"},{"key":"9041_CR37","series-title":"LNCS","first-page":"517","volume-title":"EUC","author":"S Islam","year":"2007","unstructured":"Islam S, Suri N (2007) A\u00a0multi variable optimization approach for the design of integrated dependable real-time embedded systems. In: EUC. LNCS, vol\u00a04808. Springer, Berlin, pp 517\u2013530"},{"key":"9041_CR38","doi-asserted-by":"crossref","unstructured":"Islam S, Omasreiter H (2005) Systematic use case interviews for specification of automotive systems. In: APSEC, pp 17\u201324","DOI":"10.1109\/APSEC.2005.102"},{"key":"9041_CR39","unstructured":"Huber B, Obermaisser R, Peti P (2006) MDA-based development in the DECOS integrated architecture-modeling the hardware platform. In: ISORC, pp 43\u201352"},{"key":"9041_CR40","unstructured":"Object Management Group (OMG). Object constraint language 2.0 specification. http:\/\/www.omg.org\/docs\/formal\/06-05-01.pdf"},{"key":"9041_CR41","unstructured":"Pataricza A, Polg\u00e1r B, Gyapay S, Balogh A (2006) Formal checking of metamodels and models. In: DECOS\/ERCIM workshop at SAFECOMP"},{"key":"9041_CR42","unstructured":"Kandl S, Kirner R, Fraser G (2006) Verification of platform-independent and platform-specific semantics of dependable embedded systems. In: WDES"},{"key":"9041_CR43","volume-title":"Real-time systems, design principles for distributed embedded applications","author":"H Kopetz","year":"1997","unstructured":"Kopetz H (1997) Real-time systems, design principles for distributed embedded applications. Kluwer Academic, Boston"},{"issue":"1","key":"9041_CR44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(95)00098-4","volume":"86","author":"N Sadeh","year":"1996","unstructured":"Sadeh N, Fox MS (1996) Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem. Artif Intell 86(1):1\u201341","journal-title":"Artif Intell"},{"issue":"4","key":"9041_CR45","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1109\/12.2183","volume":"37","author":"RM Keichafer","year":"1988","unstructured":"Keichafer RM, Walter CJ, Finn AM, Thambidurai PM (1988) The MAFT architecture for distributed fault tolerance. IEEE Trans Comput 37(4):398\u2013405","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"9041_CR46","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/40.16792","volume":"9","author":"H Kopetz","year":"1989","unstructured":"Kopetz H, Damm A, Koza C, Mulazzani M, Schwabl W, Senft C, Zainlinger R (1989) Distributed fault-tolerant real-time systems: the Mars approach. IEEE Micro 9(1):25\u201340","journal-title":"IEEE Micro"},{"key":"9041_CR47","doi-asserted-by":"crossref","unstructured":"Claesson V, Poledna S, Soderberg J (1998) The XBW model for dependable real-time systems. In: ICPADS, pp 130\u2013138","DOI":"10.1109\/ICPADS.1998.741030"},{"key":"9041_CR48","doi-asserted-by":"crossref","unstructured":"Alstrom K, Torin J (2001) Future architecture for flight control systems. In: DASC, vol\u00a01, pp\u00a01B5\/1\u20131B5\/10","DOI":"10.1109\/DASC.2001.963308"},{"issue":"2","key":"9041_CR49","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/12.833107","volume":"49","author":"S Poledna","year":"2000","unstructured":"Poledna S, Barrett P, Burns A, Wellings A (2000) Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Trans Comput 49(2):100\u2013111","journal-title":"IEEE Trans Comput"},{"key":"9041_CR50","doi-asserted-by":"crossref","unstructured":"Jhumka A, Hiller M, Suri N (2001) Assessing inter-modular error propagation in distributed software. In: SRDS, pp 152\u2013161","DOI":"10.1109\/RELDIS.2001.969769"},{"issue":"1","key":"9041_CR51","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1026589200419","volume":"20","author":"S Punnekkat","year":"2001","unstructured":"Punnekkat S, Burns A, Davis R (2001) Analysis of checkpointing for real-time systems. Real-Time Syst 20(1):83\u2013102","journal-title":"Real-Time Syst"},{"key":"9041_CR52","doi-asserted-by":"crossref","unstructured":"Izosimov V, Pop P, Eles P, Peng Z (2005) Design optimization of time-and cost-constrained fault-tolerant distributed embedded systems. In: DATE, pp 864\u2013869","DOI":"10.1109\/DATE.2005.116"},{"issue":"4","key":"9041_CR53","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1109\/71.372795","volume":"6","author":"K Ramamritham","year":"1995","unstructured":"Ramamritham K (1995) Allocation and scheduling of precedence-related periodic tasks. IEEE Trans Parallel Distrib Syst 6(4):412\u2013420","journal-title":"IEEE Trans Parallel Distrib Syst"},{"issue":"5","key":"9041_CR54","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1109\/92.894152","volume":"8","author":"P Eles","year":"2000","unstructured":"Eles P, Peng Z, Pop P, Doboli A (2000) Scheduling with bus access optimization for distributed embedded systems. IEEE Trans Very Large Scale Integr Syst 8(5):472\u2013491","journal-title":"IEEE Trans Very Large Scale Integr Syst"},{"key":"9041_CR55","volume-title":"Real-time systems","author":"JWS Liu","year":"2000","unstructured":"Liu JWS (2000) Real-time systems. Prentice Hall, New York"},{"key":"9041_CR56","unstructured":"TTP-Tools (2007) TTP-tools SW development suite. http:\/\/www.tttech.com\/products\/software.htm"},{"key":"9041_CR57","unstructured":"Silva JL (2003) Metaheuristic and multiobjective approaches for space allocation. PhD thesis, University of Nottingham"},{"key":"9041_CR58","volume-title":"An hyperheuristic approach to course timetabling problem using an evolutionary algorithm","author":"O Rossi-Doria","year":"2003","unstructured":"Rossi-Doria O, Paechter B (2003) An hyperheuristic approach to course timetabling problem using an evolutionary algorithm. Napier University, Scotland"},{"key":"9041_CR59","doi-asserted-by":"crossref","unstructured":"Dongarra J, Jeannot E, Saule E, Shi Z (2007) Bi-objective scheduling algorithms for optimizing makespan and reliability on heterogeneous systems. In: SPAA, pp\u00a0280\u2013288","DOI":"10.1145\/1248377.1248423"},{"key":"9041_CR60","unstructured":"Eclipse Foundation. http:\/\/www.eclipse.org\/"},{"key":"9041_CR61","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/BFb0017375","volume-title":"Graph grammars and their application to computer science","author":"H Ehrig","year":"1991","unstructured":"Ehrig H, Korff M, L\u00f6we M (1991) Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts. In: Graph grammars and their application to computer science. LNCS, vol\u00a0532. Springer, Berlin, pp 24\u201337"},{"key":"9041_CR62","unstructured":"SCADE Suite (2007) The standard for the development of safety-critical embedded software in the avionics industry. http:\/\/www.esterel-technologies.com\/products\/scade-suite\/"},{"key":"9041_CR63","unstructured":"The MathWorks (2007) The MathWorks homepage. http:\/\/www.mathworks.com\/"},{"key":"9041_CR64","unstructured":"RapidRMA (2004) http:\/\/www.tripac.com\/"},{"key":"9041_CR65","unstructured":"VEST (2004) Virginia embedded systems toolkit. http:\/\/www.cs.virginia.edu\/~pnn7f\/vest\/"},{"key":"9041_CR66","unstructured":"AIRES-ToolKit (2001) Automatic integration of reusable embedded software. http:\/\/kabru.eecs.umich.edu\/aires\/"},{"key":"9041_CR67","unstructured":"DECOS (2004) Dependable embedded components and systems, IST, EU FP 6. http:\/\/www.decos.at\/"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-009-9041-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-009-9041-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-009-9041-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,19]],"date-time":"2020-05-19T21:36:52Z","timestamp":1589924212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-009-9041-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,20]]},"references-count":67,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9041"],"URL":"https:\/\/doi.org\/10.1007\/s10617-009-9041-7","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2009,6,20]]}}}