Tucan Virtual prototype generation and time constraints analysis of real-time embedded systems
This paper presents Tucan , an approach to automatically create a virtual prototype (VP) and to support the analysis of VP testing results to validate time constraint requirements in real-time embedded systems. Virtual prototyping is a fast and reliable solution to facilitate system testing and time...
Saved in:
| Published in: | Design automation for embedded systems Vol. 17; no. 1; pp. 129 - 165 |
|---|---|
| Main Authors: | , , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Boston
Springer US
2013
|
| Subjects: | |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | This paper presents
Tucan
, an approach to automatically create a virtual prototype (VP) and to support the analysis of VP testing results to validate time constraint requirements in real-time embedded systems. Virtual prototyping is a fast and reliable solution to facilitate system testing and time constraint validation. However, analyzing simulation results involves the visual inspection of timing diagrams, which is a time-consuming and complicated task. The complexity of the task grows depending on the number of signals present in a simulation; furthermore, their analysis is prone to errors due to the difficulty in identifying dependencies between the signals created by the system architecture. Our main contributions are: (1) the automatic generation of a high quality VP from a high level specification; (2) the specification of duration constraints, i.e., execution time of components that must be kept within an average time; and (3) duration requirement analysis based on predicted versus obtained behavior. We are able to predict system behavior by building a VP with a behavior model based on Time Petri Nets. We present the advantages of our method through a case study that illustrates the strength of Tucan in helping determine what variations at a specific component level allow the fulfillment of a set of time constraints. |
|---|---|
| AbstractList | This paper presents
Tucan
, an approach to automatically create a virtual prototype (VP) and to support the analysis of VP testing results to validate time constraint requirements in real-time embedded systems. Virtual prototyping is a fast and reliable solution to facilitate system testing and time constraint validation. However, analyzing simulation results involves the visual inspection of timing diagrams, which is a time-consuming and complicated task. The complexity of the task grows depending on the number of signals present in a simulation; furthermore, their analysis is prone to errors due to the difficulty in identifying dependencies between the signals created by the system architecture. Our main contributions are: (1) the automatic generation of a high quality VP from a high level specification; (2) the specification of duration constraints, i.e., execution time of components that must be kept within an average time; and (3) duration requirement analysis based on predicted versus obtained behavior. We are able to predict system behavior by building a VP with a behavior model based on Time Petri Nets. We present the advantages of our method through a case study that illustrates the strength of Tucan in helping determine what variations at a specific component level allow the fulfillment of a set of time constraints. |
| Author | Casallas, Rubby Correal, Darío Hoyos-Rodríguez, Horacio Jiménez, Fernando |
| Author_xml | – sequence: 1 givenname: Horacio surname: Hoyos-Rodríguez fullname: Hoyos-Rodríguez, Horacio organization: School of Engineering, Universidad de Los Andes – sequence: 2 givenname: Fernando surname: Jiménez fullname: Jiménez, Fernando organization: School of Engineering, Universidad de Los Andes – sequence: 3 givenname: Rubby surname: Casallas fullname: Casallas, Rubby email: rcasalla@uniandes.edu.co organization: School of Engineering, Universidad de Los Andes – sequence: 4 givenname: Darío surname: Correal fullname: Correal, Darío organization: School of Engineering, Universidad de Los Andes |
| BookMark | eNp9j81KAzEUhS_SgtPaB_AhovdmktxkKcU_KLip65CMSbHojCR24dubMq5dnc35DudbwWKcxgRwTXhDiHxbCQ2xQOqFIymFvoCONEth0eICOnTSCa2tvoRVrUdEdEyqg-X-NITxCpY5fNS0-cs1vD7c77dPYvfy-Ly924lBcv8tQmQVoyWVY2TZR-JsyWbOSb0lExRyMCZjNiGq6ELW0rj2gY0ckkI0_Rpo3h3KVGtJ2X-V989QfjyhP3v42cM3D3_28LoxcmZq646HVPxxOpWx3fwH-gWlA0pF |
| Cites_doi | 10.1002/0471224626 10.1109/54.844330 10.1007/978-3-540-69927-9_4 10.5381/jot.2006.5.4.a5 10.1145/2432631.2432633 10.1098/rsta.2006.1928 10.1007/3-540-45739-9_4 10.1007/978-3-540-76811-1_4 10.1109/32.75415 10.1007/978-3-642-16277-0_2 10.1002/(SICI)1520-6858(2000)3:1<1::AID-SYS1>3.0.CO;2-0 10.1109/MDT.2006.112 10.1109/54.350695 10.1147/sj.453.0621 10.1109/ICDS.2009.19 10.1109/IECON.2012.6389403 10.1007/978-3-642-13556-9 10.1109/DASC.1998.741462 |
| ContentType | Journal Article |
| Copyright | Springer Science+Business Media New York 2013 |
| Copyright_xml | – notice: Springer Science+Business Media New York 2013 |
| DBID | AAYXX CITATION |
| DOI | 10.1007/s10617-013-9122-5 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1572-8080 |
| EndPage | 165 |
| ExternalDocumentID | 10_1007_s10617_013_9122_5 |
| GroupedDBID | -5B -5G -BR -EM -Y2 -~C .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 2.D 203 28- 29F 29~ 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AABYN AAFGU AAHNG AAIAL AAJKR AANZL AAPBV AARHV AARTL AATNV AATVU AAUYE AAWCG AAYFA AAYIU AAYOK AAYQN AAYTO ABBBX ABBXA ABDZT ABECU ABFGW ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKAG ABKAS ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACBMV ACBRV ACBXY ACBYP ACGFS ACHSB ACHXU ACIGE ACIPQ ACKNC ACMDZ ACMLO ACOKC ACOMO ACSNA ACTTH ACVWB ACWMK ADHHG ADHIR ADIMF ADINQ ADKNI ADKPE ADMDM ADMVV ADOXG ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEEQQ AEFIE AEFTE AEGAL AEGNC AEJHL AEJRE AEKMD AEKVL AENEX AEOHA AEPYU AESKC AESTI AETLH AEVLU AEVTX AEXYK AFEXP AFGCZ AFLOW AFNRJ AFQWF AFWTZ AFZKB AGAYW AGDGC AGGBP AGGDS AGJBK AGMZJ AGQMX AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIIXL AILAN AIMYW AITGF AJBLW AJDOV AJRNO AJZVZ AKQUC ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARCEE ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN B-. BA0 BBWZM BDATZ BGNMA CAG COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 EBLON EBS EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ6 GQ7 GQ8 GXS HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IAO IHE IJ- IKXTQ ITM IWAJR IXC IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ KDC KOV KOW LAK LLZTM M4Y MA- N2Q N9A NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM OVD P19 P2P P9P PF0 PT4 PT5 QOK QOS R4E R89 R9I RHV RNI RNS ROL RPX RSV RZC RZE RZK S16 S1Z S26 S27 S28 S3B SAP SCLPG SCV SDH SDM SEG SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TEORI TSG TSK TSV TUC U2A UG4 UNUBA UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7S Z7X Z7Z Z83 Z88 Z8M Z8N Z8R Z8T Z8W Z92 ZMTXR _50 ~A9 ~EX AACDK AAEOY AAJBT AASML AAYXX AAYZH ABAKF ABYXP ACAOD ACDTI ACZOJ AEFQL AEMSY AFBBN AGQEE AGRTI AIGIU CITATION |
| ID | FETCH-LOGICAL-c273t-ab74bb814fbb723b17f818f7fe4de6a407a66f0f6ab4b9af5269572762ce40063 |
| IEDL.DBID | AEJHL |
| ISSN | 0929-5585 |
| IngestDate | Thu Nov 21 21:23:39 EST 2024 Sat Dec 16 12:02:58 EST 2023 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Time Petri nets Real-time embedded systems Time constraint requirements Design validation |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c273t-ab74bb814fbb723b17f818f7fe4de6a407a66f0f6ab4b9af5269572762ce40063 |
| PageCount | 37 |
| ParticipantIDs | crossref_primary_10_1007_s10617_013_9122_5 springer_journals_10_1007_s10617_013_9122_5 |
| PublicationCentury | 2000 |
| PublicationDate | 3-2013 |
| PublicationDateYYYYMMDD | 2013-01-01 |
| PublicationDate_xml | – year: 2013 text: 3-2013 |
| PublicationDecade | 2010 |
| PublicationPlace | Boston |
| PublicationPlace_xml | – name: Boston |
| PublicationSubtitle | An International Journal |
| PublicationTitle | Design automation for embedded systems |
| PublicationTitleAbbrev | Des Autom Embed Syst |
| PublicationYear | 2013 |
| Publisher | Springer US |
| Publisher_xml | – name: Springer US |
| References | Andrade, Maciel, Callou, Nogueira (CR1) 2009 CR19 CR18 Navet, Merz (CR28) 2008 Martin (CR26) 2000; 3 Cheng (CR6) 2002 CR30 Berthomieu, Menasche (CR4) 1983 Giese, Karsai, Lee, Rumpe, Schätz (CR15) 2010 Kolovos, Paige, Polack (CR24) 2008 Sgroi, Lavagno, Sangiovanni-Vincentelli (CR29) 2000; 17 Heineman, Councill (CR17) 2001 Berthomieu, Diaz (CR3) 1991; 17 Douglass (CR11) 2002 Hoyos, Casallas, Jiménez (CR20) 2012 CR8 CR27 Farrar, Worden (CR12) 2007; 365 Gherbi, Khendek (CR14) 2006; 5 CR25 Czarnecki, Helsen (CR7) 2006; 45 CR22 Densmore, Passerone (CR10) 2006; 23 Gajski, Vahid (CR13) 1995; 12 Bézivin (CR5) 2004; 5 De Freitas, Wehrmeister, Silva, Carvalho, Pereira, Wagner (CR9) 2007 Kernighan, Pike (CR23) 1999 Gruttner, Hylla, Rosinger, Nebel (CR16) 2010 Hoyos, Casallas, Jimenez (CR21) 2012 Bernard, Francois (CR2) 2006 C Farrar (9122_CR12) 2007; 365 9122_CR27 9122_CR25 E Andrade (9122_CR1) 2009 B Berthomieu (9122_CR4) 1983 9122_CR22 EP Freitas De (9122_CR9) 2007 A Gherbi (9122_CR14) 2006; 5 AMK Cheng (9122_CR6) 2002 H Hoyos (9122_CR21) 2012 B Berthomieu (9122_CR3) 1991; 17 H Giese (9122_CR15) 2010 J Martin (9122_CR26) 2000; 3 M Sgroi (9122_CR29) 2000; 17 B Douglass (9122_CR11) 2002 9122_CR19 N Navet (9122_CR28) 2008 9122_CR18 K Gruttner (9122_CR16) 2010 D Gajski (9122_CR13) 1995; 12 9122_CR30 D Densmore (9122_CR10) 2006; 23 B Bernard (9122_CR2) 2006 9122_CR8 G Heineman (9122_CR17) 2001 BW Kernighan (9122_CR23) 1999 H Hoyos (9122_CR20) 2012 K Czarnecki (9122_CR7) 2006; 45 J Bézivin (9122_CR5) 2004; 5 D Kolovos (9122_CR24) 2008 |
| References_xml | – year: 2002 ident: CR6 publication-title: Real-time systems: scheduling, analysis, and verification doi: 10.1002/0471224626 contributor: fullname: Cheng – ident: CR22 – ident: CR18 – volume: 17 start-page: 14 issue: 2 year: 2000 end-page: 27 ident: CR29 article-title: Formal models for embedded system design publication-title: IEEE Des Test Comput doi: 10.1109/54.844330 contributor: fullname: Sangiovanni-Vincentelli – volume: 5 start-page: 21 issue: 2 year: 2004 end-page: 24 ident: CR5 article-title: In search of a basic principle for model driven engineering, CEPIS, UPGRADE publication-title: Eur J Inform Prof contributor: fullname: Bézivin – start-page: 41 year: 1983 end-page: 46 ident: CR4 article-title: An enumerative approach for analyzing time Petri nets publication-title: Proceedings IFIP contributor: fullname: Menasche – ident: CR30 – start-page: 46 year: 2008 end-page: 60 ident: CR24 article-title: The epsilon transformation language publication-title: Theory and practice of model transformations doi: 10.1007/978-3-540-69927-9_4 contributor: fullname: Polack – volume: 5 start-page: 149 year: 2006 end-page: 169 ident: CR14 article-title: Uml profiles for real-time systems and their applications publication-title: J Object Technol doi: 10.5381/jot.2006.5.4.a5 contributor: fullname: Khendek – ident: CR8 – ident: CR25 – ident: CR27 – start-page: 7 year: 2012 end-page: 12 ident: CR20 article-title: HiLeS-T: an ADL for early requirement verification of embedded systems publication-title: Proceedings of the 5th international workshop on model based architecting and construction of embedded systems, ACES-MB ’12 doi: 10.1145/2432631.2432633 contributor: fullname: Jiménez – volume: 365 start-page: 303 issue: 1851 year: 2007 ident: CR12 article-title: An introduction to structural health monitoring publication-title: Philos Trans R Soc, Math Phys Eng Sci doi: 10.1098/rsta.2006.1928 contributor: fullname: Worden – start-page: 53 year: 2002 end-page: 70 ident: CR11 article-title: Real-time UML publication-title: Formal techniques in real-time and fault-tolerant systems doi: 10.1007/3-540-45739-9_4 contributor: fullname: Douglass – start-page: 55 year: 2007 end-page: 74 ident: CR9 article-title: Deraf: a high-level aspects framework for distributed embedded real-time systems design publication-title: Proceedings of the 10th international conference on early aspects: current challenges and future directions doi: 10.1007/978-3-540-76811-1_4 contributor: fullname: Wagner – ident: CR19 – year: 1999 ident: CR23 publication-title: The practice of programming contributor: fullname: Pike – year: 2008 ident: CR28 publication-title: Modeling and verification of real-time systems contributor: fullname: Merz – volume: 17 start-page: 259 year: 1991 end-page: 273 ident: CR3 article-title: Modeling and verification of time dependent systems using time Petri nets publication-title: IEEE Trans Softw Eng doi: 10.1109/32.75415 contributor: fullname: Diaz – year: 2001 ident: CR17 publication-title: Component-based software engineering: putting the pieces together contributor: fullname: Councill – year: 2010 ident: CR15 publication-title: Model-based engineering of embedded real-time systems doi: 10.1007/978-3-642-16277-0_2 contributor: fullname: Schätz – start-page: 1 year: 2010 end-page: 6 ident: CR16 article-title: Towards an ESL framework for timing and power aware rapid prototyping of hw/sw systems publication-title: Forum on specification design languages, IC 2010 contributor: fullname: Nebel – start-page: 123 year: 2006 end-page: 124 ident: CR2 article-title: Time Petri nets analysis with TINA publication-title: International conference on quantitative evaluation of systems contributor: fullname: Francois – volume: 3 start-page: 1 issue: 1 year: 2000 end-page: 26 ident: CR26 article-title: Processes for engineering a system: an overview of the ANSI/EIA 632 standard and its heritage publication-title: Syst Eng doi: 10.1002/(SICI)1520-6858(2000)3:1<1::AID-SYS1>3.0.CO;2-0 contributor: fullname: Martin – volume: 23 start-page: 359 issue: 5 year: 2006 end-page: 374 ident: CR10 article-title: A platform-based taxonomy for ESL design publication-title: IEEE Des Test Comput doi: 10.1109/MDT.2006.112 contributor: fullname: Passerone – volume: 12 start-page: 53 issue: 1 year: 1995 end-page: 67 ident: CR13 article-title: Specification and design of embedded hardware-software systems publication-title: IEEE Des Test Comput doi: 10.1109/54.350695 contributor: fullname: Vahid – volume: 45 start-page: 621 issue: 3 year: 2006 end-page: 645 ident: CR7 article-title: Feature-based survey of model transformation approaches publication-title: IBM Syst J doi: 10.1147/sj.453.0621 contributor: fullname: Helsen – start-page: 266 year: 2009 end-page: 271 ident: CR1 article-title: A methodology for mapping sysml activity diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints publication-title: Digital Society, 2009. ICDS ’09. Third international conference doi: 10.1109/ICDS.2009.19 contributor: fullname: Nogueira – start-page: 3101 year: 2012 end-page: 3106 ident: CR21 article-title: Model-based framework for embedded system product line publication-title: IECON 2012—38th annual conference on IEEE Industrial Electronics Society doi: 10.1109/IECON.2012.6389403 contributor: fullname: Jimenez – volume: 365 start-page: 303 issue: 1851 year: 2007 ident: 9122_CR12 publication-title: Philos Trans R Soc, Math Phys Eng Sci doi: 10.1098/rsta.2006.1928 contributor: fullname: C Farrar – volume: 45 start-page: 621 issue: 3 year: 2006 ident: 9122_CR7 publication-title: IBM Syst J doi: 10.1147/sj.453.0621 contributor: fullname: K Czarnecki – start-page: 46 volume-title: Theory and practice of model transformations year: 2008 ident: 9122_CR24 doi: 10.1007/978-3-540-69927-9_4 contributor: fullname: D Kolovos – volume-title: Real-time systems: scheduling, analysis, and verification year: 2002 ident: 9122_CR6 doi: 10.1002/0471224626 contributor: fullname: AMK Cheng – start-page: 55 volume-title: Proceedings of the 10th international conference on early aspects: current challenges and future directions year: 2007 ident: 9122_CR9 doi: 10.1007/978-3-540-76811-1_4 contributor: fullname: EP Freitas De – volume-title: Model-based engineering of embedded real-time systems year: 2010 ident: 9122_CR15 doi: 10.1007/978-3-642-13556-9 contributor: fullname: H Giese – volume-title: Component-based software engineering: putting the pieces together year: 2001 ident: 9122_CR17 contributor: fullname: G Heineman – ident: 9122_CR19 – volume: 17 start-page: 14 issue: 2 year: 2000 ident: 9122_CR29 publication-title: IEEE Des Test Comput doi: 10.1109/54.844330 contributor: fullname: M Sgroi – start-page: 123 volume-title: International conference on quantitative evaluation of systems year: 2006 ident: 9122_CR2 contributor: fullname: B Bernard – ident: 9122_CR8 – start-page: 41 volume-title: Proceedings IFIP year: 1983 ident: 9122_CR4 contributor: fullname: B Berthomieu – volume: 5 start-page: 149 year: 2006 ident: 9122_CR14 publication-title: J Object Technol doi: 10.5381/jot.2006.5.4.a5 contributor: fullname: A Gherbi – start-page: 7 volume-title: Proceedings of the 5th international workshop on model based architecting and construction of embedded systems, ACES-MB ’12 year: 2012 ident: 9122_CR20 doi: 10.1145/2432631.2432633 contributor: fullname: H Hoyos – ident: 9122_CR22 – ident: 9122_CR25 doi: 10.1109/DASC.1998.741462 – start-page: 3101 volume-title: IECON 2012—38th annual conference on IEEE Industrial Electronics Society year: 2012 ident: 9122_CR21 doi: 10.1109/IECON.2012.6389403 contributor: fullname: H Hoyos – ident: 9122_CR18 – volume: 3 start-page: 1 issue: 1 year: 2000 ident: 9122_CR26 publication-title: Syst Eng doi: 10.1002/(SICI)1520-6858(2000)3:1<1::AID-SYS1>3.0.CO;2-0 contributor: fullname: J Martin – volume-title: The practice of programming year: 1999 ident: 9122_CR23 contributor: fullname: BW Kernighan – volume: 5 start-page: 21 issue: 2 year: 2004 ident: 9122_CR5 publication-title: Eur J Inform Prof contributor: fullname: J Bézivin – start-page: 53 volume-title: Formal techniques in real-time and fault-tolerant systems year: 2002 ident: 9122_CR11 doi: 10.1007/3-540-45739-9_4 contributor: fullname: B Douglass – volume: 12 start-page: 53 issue: 1 year: 1995 ident: 9122_CR13 publication-title: IEEE Des Test Comput doi: 10.1109/54.350695 contributor: fullname: D Gajski – ident: 9122_CR30 – volume: 17 start-page: 259 year: 1991 ident: 9122_CR3 publication-title: IEEE Trans Softw Eng doi: 10.1109/32.75415 contributor: fullname: B Berthomieu – start-page: 1 volume-title: Forum on specification design languages, IC 2010 year: 2010 ident: 9122_CR16 contributor: fullname: K Gruttner – volume-title: Modeling and verification of real-time systems year: 2008 ident: 9122_CR28 contributor: fullname: N Navet – start-page: 266 volume-title: Digital Society, 2009. ICDS ’09. Third international conference year: 2009 ident: 9122_CR1 doi: 10.1109/ICDS.2009.19 contributor: fullname: E Andrade – ident: 9122_CR27 – volume: 23 start-page: 359 issue: 5 year: 2006 ident: 9122_CR10 publication-title: IEEE Des Test Comput doi: 10.1109/MDT.2006.112 contributor: fullname: D Densmore |
| SSID | ssj0009714 |
| Score | 1.9491782 |
| Snippet | This paper presents
Tucan
, an approach to automatically create a virtual prototype (VP) and to support the analysis of VP testing results to validate time... |
| SourceID | crossref springer |
| SourceType | Aggregation Database Publisher |
| StartPage | 129 |
| SubjectTerms | CAE) and Design Circuits and Systems Computer-Aided Engineering (CAD Engineering Special Purpose and Application-Based Systems |
| Subtitle | Virtual prototype generation and time constraints analysis of real-time embedded systems |
| Title | Tucan |
| URI | https://link.springer.com/article/10.1007/s10617-013-9122-5 |
| Volume | 17 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://sdu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED7RZoGBN6K81IEJZFS7jp2MFU0VIcRCkdopsmN7QQqobf4_5zxoK8EAkxfrlDtf_H32yd8B3CLiGEuZIwg3mnCKaxEbPiDG0FAJGilZqX2mr_JlFo0TL5PDvq8uiveHtiJZbdQbb90QbIlvRhBTf4DqQIDQE2JuB6PkKX1eS-3KWtEbgZ-EyIbbWuZPRrbRaLsUWiHM5OA_33YI-w2f7I_qBDiCHVscw96GyuAJBNMS43cKb5Nk-piSpvsByZFSrIjSkmsdUe60lmyoqXQIrk46y40VCg9iSgg3cEJprmPlfKvwENmIYLnlnnmcQbf4KOw59C3L8U82LMzVEMHIaSHQthqiQcQwl_fgro1C9lmLXGRrOWPvW4a-Zd63LOzBfRuErMn35e-zL_40-xJ2WdVuwl9xXEF3tSjtNXSWprxpVtmPs_l8_AVqOZ6b |
| link.rule.ids | 315,782,786,27933,27934,41073,42142,48344,48347,48357,49649,49652,49662,52153 |
| linkProvider | Springer Nature |
| linkToHtml | http://sdu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV09T8MwED3RdgAGvhHlswMTyFLtOHYyVtDSitKFILFZdmyPAdHm_3NOE7WVYIDdOuXOZ79nX_wO4BYRxzrKPEG4MYRTnIvU8j6xlsZa0ETLSu1z_Cpn78njMMjkRM1bmOpv96YkWe3Ua4_dEG1J6EaQ0nCCakGHp4JjKncGk-xptNLalUtJb0R-EiMdboqZPxnZhKPNWmgFMaP9f33cAezVjLI3WKbAIWy54gh213QGj6GTlRjBE3gbDbOHMan7H5AcScWCaCO5MQnl3hjJIkOlR3j10jtundB4FNNC-L4X2nCTah-ahcfIRwTLHQ_c4xTaxUfhzqDnWI5r2bI41xHCkTdCoG0doUFEMZ934a4Jg_pcylyolaBx8E2hbyr4puIu3DdBUHXGz38fff6n0TewPc5epmo6mT1fwA6rmk-EC49LaC--SncFrbktr-sp_wYbDqDZ |
| linkToPdf | http://sdu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEB5sF0QPvsX67MGTEtrsZpPtSYptqVqKYAVvIdkkx7XY7v93sg_agh7EexgykyzfNzuZbwBuEXGMpaEjCDeaMIpn0TOsS4yhseI0UaJQ-xy_ielHMhh6mZyHuhemeO1elyTLngav0pQtO3PjOmuNb4i8xE8m6FGfTTUgYJjI4EUP-sPn8WSluytKeW9kASRGalwXNn8ysglNm3XRAm5G-__e6AHsVUyz3S-vxiFs2ewIdtf0B48hmOUY2RN4Hw1nj2NSzUUgKZKNJVFaMK0TypzWIow0FQ5h1wlnmbFcYYqmOHddx5VmuqecHyIeI0_hYWqZ5ySn0Mw-M3sGbRumGDUTxqmKEKac5hxtqwgNIrq5tAV3dUjkvJS_kCuhY--bRN-k903GLbivAyKrL2Hx--rzP62-ge3XwUhOnqYvF7ATFjMp_H-QS2guv3J7BY2Fya-r0_8GDOepnA |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Tucan&rft.jtitle=Design+automation+for+embedded+systems&rft.au=Hoyos-Rodr%C3%ADguez%2C+Horacio&rft.au=Jim%C3%A9nez%2C+Fernando&rft.au=Casallas%2C+Rubby&rft.au=Correal%2C+Dar%C3%ADo&rft.date=2013-01-01&rft.pub=Springer+US&rft.issn=0929-5585&rft.eissn=1572-8080&rft.volume=17&rft.issue=1&rft.spage=129&rft.epage=165&rft_id=info:doi/10.1007%2Fs10617-013-9122-5&rft.externalDocID=10_1007_s10617_013_9122_5 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0929-5585&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0929-5585&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0929-5585&client=summon |