uu.seUppsala universitets publikasjoner
Endre søk
Begrens søket
12 1 - 50 of 52
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Axer, Philip
    et al.
    Technical University Braunschweig.
    Ernst, Rolf
    Technical University Braunschweig.
    Falk, Heiko
    Ulm University.
    Girault, Alain
    INRIA Grenoble Rhône-Alpes.
    Grund, Daniel
    Saarland University.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Jonsson, Bengt
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Marwedel, Peter
    Technical University Dortmund.
    Reineke, Jan
    Saarland University.
    Rochange, Christine
    University of Toulouse.
    Sebastian, Maurice
    Technical University Braunschweig.
    von Hanxleden, Reinhard
    Christian-Albrechts-Universität zu Kiel.
    Wilhelm, Reinhard
    Saarland University.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Building timing predictable embedded systems2014Inngår i: ACM Transactions on Embedded Computing Systems, ISSN 1539-9087, E-ISSN 1558-3465, Vol. 13, nr 4, s. 82:1-37Artikkel i tidsskrift (Fagfellevurdert)
  • 2. Bi, Yin
    et al.
    Lv, Mingsong
    Song, Chen
    Xu, Wenyao
    Guan, Nan
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    AutoDietary: A wearable acoustic sensor system for food intake recognition in daily life2016Inngår i: IEEE Sensors Journal, ISSN 1530-437X, E-ISSN 1558-1748, Vol. 16, nr 3, s. 806-816Artikkel i tidsskrift (Fagfellevurdert)
  • 3. Bi, Yin
    et al.
    Lv, Mingsong
    Wei, Yangjie
    Guan, Nan
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Multi-feature fusion for thermal face recognition2016Inngår i: Infrared physics & technology, ISSN 1350-4495, E-ISSN 1879-0275, Vol. 77, s. 366-374Artikkel i tidsskrift (Fagfellevurdert)
  • 4. Deng, Qingxu
    et al.
    Kong, Fanxin
    Guan, Nan
    Lv, Mingsong
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    On-line placement of real-time tasks on 2D partially run-time reconfigurable FPGAs2008Inngår i: Proc. 5th IEEE International Symposium on Embedded Computing, Piscataway, NJ: IEEE , 2008, s. 20-25Konferansepaper (Fagfellevurdert)
  • 5.
    Ekberg, Pontus
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Stigge, Martin
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    An optimal resource sharing protocol for generalized multiframe tasks2015Inngår i: The Journal of logical and algebraic methods in programming, ISSN 2352-2208, E-ISSN 2352-2216, Vol. 84, nr 1, s. 92-105Artikkel i tidsskrift (Fagfellevurdert)
  • 6. Gu, Chuancai
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Deng, Qingxu
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Improving OCBP-based scheduling for mixed-criticality sporadic task systems2013Inngår i: Proc. 19th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2013Konferansepaper (Fagfellevurdert)
  • 7. Gu, Chuancai
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Deng, Qingxu
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Partitioned mixed-criticality scheduling on multiprocessor platforms2014Inngår i: Proc. 17th Conference on Design, Automation and Test in Europe, Piscataway, NJ: IEEE , 2014Konferansepaper (Annet vitenskapelig)
  • 8. Gu, Chuancai
    et al.
    Guan, Nan
    Feng, Zhiwei
    Deng, Qingxu
    Sharon Hu, Xiaobo
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Transforming real-time task graphs to improve schedulability2016Inngår i: Proc. 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2016, s. 29-38Konferansepaper (Fagfellevurdert)
  • 9.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Avdelningen för datorteknik. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    New Techniques for Building Timing-Predictable Embedded Systems2013Doktoravhandling, med artikler (Annet vitenskapelig)
    Abstract [en]

    Embedded systems are becoming ubiquitous in our daily life. Due to close interaction with physical world, embedded systems are typically subject to timing constraints. At design time, it must be ensured that the run-time behaviors of such systems satisfy the pre-specified timing constraints under any circumstance. In this thesis, we develop techniques to address the timing analysis problems brought by the increasing complexity of underlying hardware and software on different levels of abstraction in embedded systems design.

    On the program level, we develop quantitative analysis techniques to predict the cache hit/miss behaviors for tight WCET estimation, and study two commonly used replacement policies, MRU and FIFO, which cannot be analyzed adequately using the state-of-the-art qualitative cache analysis method. Our quantitative approach greatly improves the precision of WCET estimation and discloses interesting predictability properties of these replacement policies, which are concealed in the qualitative analysis framework.

    On the component level, we address the challenges raised by multi-core computing. Several fundamental problems in multiprocessor scheduling are investigated. In global scheduling, we propose an analysis method to rule out a great part of impossible system behaviors for better analysis precision, and establish conditions to guarantee the bounded responsiveness of computing tasks. In partitioned scheduling, we close a long standing open problem to generalize the famous Liu and Layland's utilization bound in uniprocessor real-time scheduling to multiprocessor systems. We also propose to use cache partitioning for multi-core systems to avoid contentions on shared caches, and solve the underlying schedulability analysis problem.

    On the system level, we present techniques to improve the Real-Time Calculus (RTC) analysis framework in both efficiency and precision. First, we have developed Finitary Real-Time Calculus to solve the scalability problem of the original RTC due to period explosion. The key idea is to only maintain and operate on a limited prefix of each curve that is relevant to the final results during the whole analysis procedure. We further improve the analysis precision of EDF components in RTC, by precisely bounding the response time of each computation request.

    Delarbeid
    1. WCET analysis with MRU caches: Challenging LRU for predictability
    Åpne denne publikasjonen i ny fane eller vindu >>WCET analysis with MRU caches: Challenging LRU for predictability
    2012 (engelsk)Inngår i: Proc. 18th Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2012, s. 55-64Konferansepaper, Publicerat paper (Fagfellevurdert)
    Abstract [en]

    Most previous work in cache analysis for WCET estimation assumes a particular replacement policy called LRU. In contrast, much less work has been done for non-LRU policies, since they are generally considered to be very "unpredictable". However, most commercial processors are actually equipped with these non-LRU policies, since they are more efficient in terms of hardware cost, power consumption and thermal output, but still maintaining almost as good average-case performance as LRU. In this work, we study the analysis of MRU, a non-LRU replacement policy employed in mainstream processor architectures like Intel Nehalem. Our work shows that the predictability of MRU has been significantly underestimated before, mainly because the existing cache analysis techniques and metrics, originally designed for LRU, do not match MRU well. As our main technical contribution, we propose a new cache hit/miss classification, k-Miss, to better capture the MRU behavior, and develop formal conditions and efficient techniques to decide the k-Miss memory accesses. A remarkable feature of our analysis is that the k-Miss classifications under MRU are derived by the analysis result of the same program under LRU. Therefore, our approach inherits all the advantages in efficiency, precision and composability of the state-of-the-art LRU analysis techniques based on abstract interpretation. Experiments with benchmarks show that the estimated WCET by our proposed MRU analysis is rather close to (5% similar to 20% more than) that obtained by the state-of-the-art LRU analysis, which indicates that MRU is also a good candidate for the cache replacement policy in real-time systems.

    sted, utgiver, år, opplag, sider
    IEEE Computer Society, 2012
    HSV kategori
    Identifikatorer
    urn:nbn:se:uu:diva-184597 (URN)10.1109/RTAS.2012.31 (DOI)000309190700006 ()978-1-4673-0883-0 (ISBN)
    Konferanse
    RTAS 2012/Cyber-Physical Systems Week, April 16-19, Beijing, China
    Prosjekter
    UPMARC
    Tilgjengelig fra: 2012-11-09 Laget: 2012-11-09 Sist oppdatert: 2014-01-23
    2. FIFO cache analysis for WCET estimation: A quantitative approach
    Åpne denne publikasjonen i ny fane eller vindu >>FIFO cache analysis for WCET estimation: A quantitative approach
    2013 (engelsk)Inngår i: Proc. 16th Conference on Design, Automation and Test in Europe, Piscataway, NJ: IEEE , 2013, s. 296-301Konferansepaper, Publicerat paper (Fagfellevurdert)
    sted, utgiver, år, opplag, sider
    Piscataway, NJ: IEEE, 2013
    HSV kategori
    Identifikatorer
    urn:nbn:se:uu:diva-209547 (URN)10.7873/DATE.2013.073 (DOI)978-1-4673-5071-6 (ISBN)
    Konferanse
    DATE 2013, March 18-22, Grenoble, France
    Prosjekter
    UPMARC
    Merknad

    Best Paper Award

    Tilgjengelig fra: 2013-10-21 Laget: 2013-10-21 Sist oppdatert: 2018-01-11
    3. New Response Time Bounds for Fixed Priority Multiprocessor Scheduling
    Åpne denne publikasjonen i ny fane eller vindu >>New Response Time Bounds for Fixed Priority Multiprocessor Scheduling
    2009 (engelsk)Inngår i: Proc. Real-Time Systems Symposium: RTSS 2009, Piscataway, NJ: IEEE , 2009, s. 387-397Konferansepaper, Publicerat paper (Fagfellevurdert)
    sted, utgiver, år, opplag, sider
    Piscataway, NJ: IEEE, 2009
    HSV kategori
    Forskningsprogram
    Datavetenskap med inriktning mot inbyggda system
    Identifikatorer
    urn:nbn:se:uu:diva-130904 (URN)10.1109/RTSS.2009.11 (DOI)000277465500036 ()978-0-7695-3875-4 (ISBN)
    Konferanse
    IEEE Real-Time Systems Symposium (RTSS)
    Prosjekter
    UPMARCCoDeR-MP
    Merknad

    Best Paper Award

    Tilgjengelig fra: 2010-09-20 Laget: 2010-09-17 Sist oppdatert: 2018-01-12
    4. Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling
    Åpne denne publikasjonen i ny fane eller vindu >>Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling
    Vise andre…
    2011 (engelsk)Inngår i: Journal of systems architecture, ISSN 1383-7621, E-ISSN 1873-6165, Vol. 57, nr 5, s. 536-546Artikkel i tidsskrift (Fagfellevurdert) Published
    HSV kategori
    Identifikatorer
    urn:nbn:se:uu:diva-141648 (URN)10.1016/j.sysarc.2010.08.003 (DOI)000291286900005 ()
    Prosjekter
    UPMARC
    Tilgjengelig fra: 2010-08-27 Laget: 2011-01-12 Sist oppdatert: 2018-01-12bibliografisk kontrollert
    5. Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound
    Åpne denne publikasjonen i ny fane eller vindu >>Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound
    2010 (engelsk)Inngår i: Proc. 16th Real-Time and Embedded Technology and Applications Symposium, Piscataway, NJ: IEEE , 2010, s. 165-174Konferansepaper, Publicerat paper (Fagfellevurdert)
    sted, utgiver, år, opplag, sider
    Piscataway, NJ: IEEE, 2010
    HSV kategori
    Forskningsprogram
    Datavetenskap med inriktning mot inbyggda system
    Identifikatorer
    urn:nbn:se:uu:diva-130901 (URN)10.1109/RTAS.2010.39 (DOI)978-1-4244-6690-0 (ISBN)
    Konferanse
    RTAS 2010, April 12-15, Stockholm, Sweden
    Prosjekter
    CoDeR-MPUPMARC
    Tilgjengelig fra: 2010-09-20 Laget: 2010-09-17 Sist oppdatert: 2018-01-12
    6. Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling
    Åpne denne publikasjonen i ny fane eller vindu >>Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling
    2012 (engelsk)Inngår i: 2012 IEEE 26th International Parallel and Distributed Processing Symposium (IPDPS), 2012, s. 261-272Konferansepaper, Publicerat paper (Fagfellevurdert)
    Abstract [en]

    Future embedded real-time systems will be deployed on multi-core processors to meet the dramatically increasing high-performance and low-power requirements. This trend appeals to generalize established results on uniprocessor scheduling, particularly the various utilization bounds for schedulability test used in system design, to the multiprocessor setting. Recently, this has been achieved for the famous Liu and Layland utilization bound by applying novel task splitting techniques. However, parametric utilization bounds that can guarantee higher utilizations (up to 100%) for common classes of systems are not yet known to be generalizable to multiprocessors as well. In this paper, we solve this problem for most parametric utilization bounds by proposing new task partitioning algorithms based on exact response time analysis. In addition to the worst-case guarantees, as the exact response time analysis is used for task partitioning, our algorithms significantly improve average-case utilization over previous work.

    Serie
    International Parallel and Distributed Processing Symposium IPDPS
    HSV kategori
    Identifikatorer
    urn:nbn:se:uu:diva-184746 (URN)10.1109/IPDPS.2012.33 (DOI)000309131900024 ()978-0-7695-4675-9 (ISBN)
    Konferanse
    26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), MAY 21-25, 2012, Shanghai, PEOPLES R CHINA
    Prosjekter
    UPMARC
    Tilgjengelig fra: 2012-11-14 Laget: 2012-11-13 Sist oppdatert: 2014-01-23
    7. Cache-aware scheduling and analysis for multicores
    Åpne denne publikasjonen i ny fane eller vindu >>Cache-aware scheduling and analysis for multicores
    2009 (engelsk)Inngår i: Proc. 9th ACM International Conference on Embedded Software, New York: ACM Press, 2009, s. 245-254Konferansepaper, Publicerat paper (Fagfellevurdert)
    sted, utgiver, år, opplag, sider
    New York: ACM Press, 2009
    HSV kategori
    Forskningsprogram
    Datavetenskap med inriktning mot inbyggda system
    Identifikatorer
    urn:nbn:se:uu:diva-130914 (URN)10.1145/1629335.1629369 (DOI)978-1-60558-627-4 (ISBN)
    Konferanse
    9th ACM International Conference on Embedded Software
    Prosjekter
    UPMARC
    Tilgjengelig fra: 2010-09-20 Laget: 2010-09-17 Sist oppdatert: 2018-01-12
    8. Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems
    Åpne denne publikasjonen i ny fane eller vindu >>Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems
    2013 (engelsk)Inngår i: Proc. Real-Time Systems Symposium: RTSS 2013, IEEE Computer Society, 2013Konferansepaper, Publicerat paper (Fagfellevurdert)
    Abstract [en]

    Real-Time Calculus (RTC) is a powerful framework to analyzereal-time performance of distributed embedded systems. However,RTC may run into serious analysis efficiency problems when appliedto systems of large scale and/or with complex timing parameter characteristics.The main reason is that many RTC operations generatecurves with periods equal to the hyper-period of the input curves.Therefore, the analysis in RTC has exponential complexity. In practisethe curve periods may explode rapidly when several componentsare serially connected, which leads to low analysis efficiency.In this work, we propose Finitary RTC to solve the above problem.Finitary RTC only maintains and operates on a limited part ofeach curve that is relevant to the final analysis results, which resultsin pseudo-polynomial computational complexity. Experiments showthat Finitary RTC can drastically improve the analysis efficiency overthe original RTC. The original RTC may take hours or even days toanalyze systems with complex timing characteristics, but FinitaryRTC typically can complete the analysis in seconds. Even for simplesystems, Finitary RTC also typically speeds up the analysis procedureby hundreds of times. While getting better efficiency, FinitaryRTC does not introduce any extra pessimism, i.e., it yields analysisresults as precise as the original RTC.

    sted, utgiver, år, opplag, sider
    IEEE Computer Society, 2013
    HSV kategori
    Forskningsprogram
    Datavetenskap med inriktning mot realtidssystem
    Identifikatorer
    urn:nbn:se:uu:diva-209549 (URN)
    Konferanse
    RTSS 2013
    Prosjekter
    UPMARC
    Tilgjengelig fra: 2013-10-21 Laget: 2013-10-21 Sist oppdatert: 2014-01-23
    9. General and Efficient Response Time Analysis for EDF Scheduling
    Åpne denne publikasjonen i ny fane eller vindu >>General and Efficient Response Time Analysis for EDF Scheduling
    2014 (engelsk)Inngår i: Proc. 17th Conference on Design, Automation and Test in Europe, Piscataway, NJ: IEEE , 2014Konferansepaper, Publicerat paper (Annet vitenskapelig)
    sted, utgiver, år, opplag, sider
    Piscataway, NJ: IEEE, 2014
    HSV kategori
    Identifikatorer
    urn:nbn:se:uu:diva-209546 (URN)10.7873/DATE.2014.268 (DOI)000354965500255 ()978-3-9815370-2-4 (ISBN)
    Konferanse
    DATE 2014, March 24–28, Dresden, Germany
    Prosjekter
    UPMARC
    Tilgjengelig fra: 2013-10-21 Laget: 2013-10-21 Sist oppdatert: 2015-12-16bibliografisk kontrollert
  • 10.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Ekberg, Pontus
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Stigge, Martin
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems2011Inngår i: Proc. Real-Time Systems Symposium, Piscataway, NJ: IEEE , 2011, s. 13-23Konferansepaper (Fagfellevurdert)
  • 11.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Ekberg, Pontus
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Stigge, Martin
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Resource sharing protocols for real-time task graph systems2011Inngår i: Proc. 23rd Euromicro Conference on Real-Time Systems, Piscataway, NJ: IEEE , 2011, s. 272-281Konferansepaper (Fagfellevurdert)
  • 12. Guan, Nan
    et al.
    Gu, Zonghua
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yu, Ge
    Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs2009Inngår i: Proc. 14th Asia and South Pacific Design Automation Conference, Piscataway, NJ: IEEE , 2009, s. 715-720Konferansepaper (Fagfellevurdert)
  • 13. Guan, Nan
    et al.
    Han, Meiling
    Gu, Chuancai
    Deng, Qingxu
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Bounding carry-in interference to improve fixed-priority global multiprocessor scheduling analysis2015Inngår i: Proc. 21st International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2015, s. 11-20Konferansepaper (Fagfellevurdert)
  • 14.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Lv, Mingsong
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yu, Ge
    WCET Analysis with MRU Cache: Challenging LRU for Predictability2014Inngår i: ACM Transactions on Embedded Computing Systems, ISSN 1539-9087, E-ISSN 1558-3465, Vol. 13, nr 4s, artikkel-id 123Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Most previous work on cache analysis for WCET estimation assumes a particular replacement policy called LRU. In contrast, much less work has been done for non-LRU policies, since they are generally considered to be very unpredictable. However, most commercial processors are actually equipped with these non-LRU policies, since they are more efficient in terms of hardware cost, power consumption and thermal output, while still maintaining almost as good average-case performance as LRU. In this work, we study the analysis of MRU, a non-LRU replacement policy employed in mainstream processor architectures like Intel Nehalem. Our work shows that the predictability of MRU has been significantly underestimated before, mainly because the existing cache analysis techniques and metrics do not match MRU well. As our main technical contribution, we propose a new cache hit/miss classification, k-Miss, to better capture the MRU behavior, and develop formal conditions and efficient techniques to decide k-Miss memory accesses. A remarkable feature of our analysis is that the k-Miss classifications under MRU are derived by the analysis result of the same program under LRU. Therefore, our approach inherits the advantages in efficiency and precision of the state-of-the-art LRU analysis techniques based on abstract interpretation. Experiments with instruction caches show that our proposed MRU analysis has both good precision and high efficiency, and the obtained estimated WCET is rather close to (typically 1%similar to 8% more than) that obtained by the state-of-the-art LRU analysis, which indicates that MRU is also a good candidate for cache replacement policies in real-time systems.

  • 15.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Lv, Mingsong
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yu, Ge
    WCET analysis with MRU caches: Challenging LRU for predictability2012Inngår i: Proc. 18th Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2012, s. 55-64Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Most previous work in cache analysis for WCET estimation assumes a particular replacement policy called LRU. In contrast, much less work has been done for non-LRU policies, since they are generally considered to be very "unpredictable". However, most commercial processors are actually equipped with these non-LRU policies, since they are more efficient in terms of hardware cost, power consumption and thermal output, but still maintaining almost as good average-case performance as LRU. In this work, we study the analysis of MRU, a non-LRU replacement policy employed in mainstream processor architectures like Intel Nehalem. Our work shows that the predictability of MRU has been significantly underestimated before, mainly because the existing cache analysis techniques and metrics, originally designed for LRU, do not match MRU well. As our main technical contribution, we propose a new cache hit/miss classification, k-Miss, to better capture the MRU behavior, and develop formal conditions and efficient techniques to decide the k-Miss memory accesses. A remarkable feature of our analysis is that the k-Miss classifications under MRU are derived by the analysis result of the same program under LRU. Therefore, our approach inherits all the advantages in efficiency, precision and composability of the state-of-the-art LRU analysis techniques based on abstract interpretation. Experiments with benchmarks show that the estimated WCET by our proposed MRU analysis is rather close to (5% similar to 20% more than) that obtained by the state-of-the-art LRU analysis, which indicates that MRU is also a good candidate for the cache replacement policy in real-time systems.

  • 16.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Stigge, Martin
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yu, Ge
    Cache-aware scheduling and analysis for multicores2009Inngår i: Proc. 9th ACM International Conference on Embedded Software, New York: ACM Press, 2009, s. 245-254Konferansepaper (Fagfellevurdert)
  • 17.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Stigge, Martin
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yu, Ge
    Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound2010Inngår i: Proc. 16th Real-Time and Embedded Technology and Applications Symposium, Piscataway, NJ: IEEE , 2010, s. 165-174Konferansepaper (Fagfellevurdert)
  • 18.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Stigge, Martin
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yu, Ge
    New Response Time Bounds for Fixed Priority Multiprocessor Scheduling2009Inngår i: Proc. Real-Time Systems Symposium: RTSS 2009, Piscataway, NJ: IEEE , 2009, s. 387-397Konferansepaper (Fagfellevurdert)
  • 19.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Stigge, Martin
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yu, Ge
    Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling2012Inngår i: 2012 IEEE 26th International Parallel and Distributed Processing Symposium (IPDPS), 2012, s. 261-272Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Future embedded real-time systems will be deployed on multi-core processors to meet the dramatically increasing high-performance and low-power requirements. This trend appeals to generalize established results on uniprocessor scheduling, particularly the various utilization bounds for schedulability test used in system design, to the multiprocessor setting. Recently, this has been achieved for the famous Liu and Layland utilization bound by applying novel task splitting techniques. However, parametric utilization bounds that can guarantee higher utilizations (up to 100%) for common classes of systems are not yet known to be generalizable to multiprocessors as well. In this paper, we solve this problem for most parametric utilization bounds by proposing new task partitioning algorithms based on exact response time analysis. In addition to the worst-case guarantees, as the exact response time analysis is used for task partitioning, our algorithms significantly improve average-case utilization over previous work.

  • 20. Guan, Nan
    et al.
    Tang, Yue
    Abdullah, Jakaria
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Stigge, Martin
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Scalable timing analysis with refinement2015Inngår i: Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2015, s. 3-18Konferansepaper (Fagfellevurdert)
  • 21.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Tang, Yue
    Wang, Yang
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Delay analysis of structural real-time workload2015Inngår i: Proc. 18th Conference on Design, Automation and Test in Europe, Piscataway, NJ: IEEE, 2015, s. 223-228Konferansepaper (Fagfellevurdert)
  • 22.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yang, Xinping
    Lv, Mingsong
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    FIFO cache analysis for WCET estimation: A quantitative approach2013Inngår i: Proc. 16th Conference on Design, Automation and Test in Europe, Piscataway, NJ: IEEE , 2013, s. 296-301Konferansepaper (Fagfellevurdert)
  • 23.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems2013Inngår i: Proc. Real-Time Systems Symposium: RTSS 2013, IEEE Computer Society, 2013Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Real-Time Calculus (RTC) is a powerful framework to analyzereal-time performance of distributed embedded systems. However,RTC may run into serious analysis efficiency problems when appliedto systems of large scale and/or with complex timing parameter characteristics.The main reason is that many RTC operations generatecurves with periods equal to the hyper-period of the input curves.Therefore, the analysis in RTC has exponential complexity. In practisethe curve periods may explode rapidly when several componentsare serially connected, which leads to low analysis efficiency.In this work, we propose Finitary RTC to solve the above problem.Finitary RTC only maintains and operates on a limited part ofeach curve that is relevant to the final analysis results, which resultsin pseudo-polynomial computational complexity. Experiments showthat Finitary RTC can drastically improve the analysis efficiency overthe original RTC. The original RTC may take hours or even days toanalyze systems with complex timing characteristics, but FinitaryRTC typically can complete the analysis in seconds. Even for simplesystems, Finitary RTC also typically speeds up the analysis procedureby hundreds of times. While getting better efficiency, FinitaryRTC does not introduce any extra pessimism, i.e., it yields analysisresults as precise as the original RTC.

  • 24.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound2012Inngår i: 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), 2012, s. 2470-2473Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The rapid development of multi-core processors leads to a constantly increasing trend of deploying real-time systems on multi-core platforms, to satisfy the dramatically increasing high-performance and low-power requirements. This trend demands effective and efficient multiprocessor real-time scheduling techniques. The uniprocessor scheduling problem has been well studied during the last 40 years. However the multiprocessor scheduling problem to map tasks onto parallel architectures is a much harder challenge. In this work, we study several fundamental problems in multiprocessor scheduling, namely the critical instant, bounded responsiveness, and utilization bound.

  • 25.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    General and Efficient Response Time Analysis for EDF Scheduling2014Inngår i: Proc. 17th Conference on Design, Automation and Test in Europe, Piscataway, NJ: IEEE , 2014Konferansepaper (Annet vitenskapelig)
  • 26.
    Guan, Nan
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Deng, Qingxu
    Gu, Zonghua
    Yu, Ge
    Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling2011Inngår i: Journal of systems architecture, ISSN 1383-7621, E-ISSN 1873-6165, Vol. 57, nr 5, s. 536-546Artikkel i tidsskrift (Fagfellevurdert)
  • 27. Guan, Nan
    et al.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Gu, Zonghua
    Deng, Qingxu
    Yu, Ge
    New schedulability test conditions for non-preemptive scheduling on multiprocessor platforms2008Inngår i: Proc. Real-Time Systems Symposium: RTSS 2008, Piscataway, NJ: IEEE , 2008, s. 137-146Konferansepaper (Fagfellevurdert)
  • 28. Guan, Nan
    et al.
    Zhao, Mengying
    Xue, Chun Jason
    Liu, Yongpan
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Modular performance analysis of energy-harvesting real-time networked systems2015Inngår i: Proc. 36th Real-Time Systems Symposium, IEEE Computer Society, 2015, s. 65-74Konferansepaper (Fagfellevurdert)
  • 29. Jin, Xi
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Deng, Qingxu
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Memory access aware mapping for networks-on-chip2011Inngår i: Proc. 17th International Conference on Embedded and Real-Time Computing Systems and Applications, Piscataway, NJ: IEEE , 2011, s. 339-348Konferansepaper (Fagfellevurdert)
  • 30. Jin, Xi
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Wang, Jintao
    Zeng, Peng
    Analyzing multimode wireless sensor networks using the network calculus2015Inngår i: Journal of Sensors, ISSN 1687-725X, E-ISSN 1687-7268, Vol. 2015, s. 851608:1-12, artikkel-id 851608Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    The network calculus is a powerful tool to analyze the performance of wireless sensor networks. But the original network calculus can only model the single-mode wireless sensor network. In this paper, we combine the original network calculus with the multimode model to analyze the maximum delay bound of the flow of interest in the multimode wireless sensor network. There are two combined methods A-MM and N-MM. The method A-MM models the whole network as a multimode component, and the method N-MM models each node as a multimode component. We prove that the maximum delay bound computed by the method A-MM is tighter than or equal to that computed by the method N-MM. Experiments show that our proposed methods can significantly decrease the analytical delay bound comparing with the separate flow analysis method. For the large-scale wireless sensor network with 32 thousands of sensor nodes, our proposed methods can decrease about 70% of the analytical delay bound.

  • 31. Jing, Wei
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Performance isolation for real-time systems with Xen hypervisor on multi-cores2014Inngår i: Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, Piscataway, NJ: IEEE , 2014Konferansepaper (Fagfellevurdert)
  • 32. Kong, Fanxin
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Deng, Qingxu
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Energy-efficient scheduling for parallel real-time tasks based on level-packing2011Inngår i: Proc. 26th ACM Symposium on Applied Computing, New York: ACM Press , 2011, s. 635-640Konferansepaper (Fagfellevurdert)
  • 33. Lin, Hao
    et al.
    Xu, Wenyao
    Guan, Nan
    Ji, Dong
    Wei, Yangjie
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Noninvasive and continuous blood pressure monitoring using wearable body sensor networks2015Inngår i: IEEE Intelligent Systems, ISSN 1541-1672, E-ISSN 1941-1294, Vol. 30, nr 6, s. 38-48Artikkel i tidsskrift (Fagfellevurdert)
  • 34.
    Liu, Di
    et al.
    Leiden Univ, Leiden, Netherlands..
    Spasic, Jelena
    Leiden Univ, Leiden, Netherlands..
    Guan, Nan
    Hong Kong Polytech Univ, Hong Kong, Hong Kong, Peoples R China..
    Chen, Gang
    Northeastern Univ, Shenyang, Peoples R China..
    Liu, Songran
    Northeastern Univ, Shenyang, Peoples R China..
    Stefanov, Todor
    Leiden Univ, Leiden, Netherlands..
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. Northeastern Univ, Shenyang, Peoples R China..
    EDF-VD scheduling of mixed-criticality systems with degraded quality guarantees2016Inngår i: Proc. 37th Real-Time Systems Symposium, IEEE Computer Society, 2016, s. 35-46Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper studies real-time scheduling of mixed-criticality systems where low-criticality tasks are still guaranteed some service in the high-criticality mode, with reduced execution budgets. First, we present a utilization-based schedulability test for such systems under EDF-VD scheduling. Second, we quantify the suboptimality of EDF-VD (with our test condition) in terms of speedup factors. In general, the speedup factor is a function with respect to the ratio between the amount of resource required by different types of tasks in different criticality modes, and reaches 4/3 in the worst case. Furthermore, we show that the proposed utilization-based schedulability test and speedup factor results apply to the elastic mixed-criticality model as well. Experiments show effectiveness of our proposed method and confirm the theoretical suboptimality results.

  • 35. Lv, Mingsong
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Deng, Qingxu
    Yu, Ge
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    McAiT — a timing analyzer for multicore real-time software2011Inngår i: Automated Technology for Verification and Analysis, Berlin: Springer-Verlag , 2011, s. 414-417Konferansepaper (Fagfellevurdert)
  • 36. Lv, Mingsong
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Deng, Qingxu
    Yu, Ge
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Static worst-case execution time analysis of the μC/OS-II real-time kernel2010Inngår i: Frontiers of Computer Science in China, ISSN 1673-7350, Vol. 4, nr 1, s. 17-27Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Worst-case execution time (WCET) analysis is one of the major tasks in timing validation of hard real-time systems. In complex systems with real-time operating systems (RTOS), the timing properties of the system are decided by both the applications and RTOS. Traditionally, WCET analysis mainly deals with application programs, while it is crucial to know whether RTOS also behaves in a timely predictable manner. In this paper, static analysis techniques are used to predict the WCET of the system calls and the Disable Interrupt regions of the mu C/OS-II real-time kernel, which presents a quantitative evaluation of the real-time performance of mu C/OS-II. The precision of applying existing WCET analysis techniques on RTOS is evaluated, and the practical difficulties in using static methods in timing analysis of RTOS are also discussed.

  • 37. Lv, Mingsong
    et al.
    Guan, Nan
    Ma, Ye
    Ji, Dong
    Knippel, Erwin
    Liu, Xue
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Speed planning for solar-powered electric vehicles2016Inngår i: Proc. 17th International Conference on Future Energy Systems, New York: ACM Press, 2016, artikkel-id 6Konferansepaper (Fagfellevurdert)
  • 38. Lv, Mingsong
    et al.
    Guan, Nan
    Reineke, Jan
    Wilhelm, Reinhard
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    A survey on static cache analysis for real-time systems2016Inngår i: Leibniz Transactions on Embedded Systems, ISSN 2199-2002, Vol. 3, nr 1, s. 05:1-48, artikkel-id 5Artikkel, forskningsoversikt (Fagfellevurdert)
  • 39. Lv, Mingsong
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Zhang, Yi
    Chen, Rui
    Deng, Qingxu
    Yu, Ge
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    WCET Analysis of the μC/OS-II Real-Time Kernel2009Inngår i: Proc. 12th International Conference on Computational Science and Engineering: Vol. 2, Piscataway, NJ: IEEE , 2009, s. 270-276Konferansepaper (Fagfellevurdert)
  • 40. Lv, Mingsong
    et al.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yu, Ge
    Combining abstract interpretation with model checking for timing analysis of multicore software2010Inngår i: Proc. Real-Time Systems Symposium: RTSS 2010, Piscataway, NJ: IEEE , 2010, s. 339-349Konferansepaper (Fagfellevurdert)
  • 41.
    Mohaqeqi, Morteza
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Abdullah, Jakaria
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Guan, Nan
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Schedulability analysis of synchronous digraph real-time tasks2016Inngår i: Proc. 28th Euromicro Conference on Real-Time Systems, IEEE Computer Society, 2016, s. 176-186Konferansepaper (Fagfellevurdert)
  • 42.
    Stigge, Martin
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Ekberg, Pontus
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    On the tractability of digraph-based task models2011Inngår i: Proc. 23rd Euromicro Conference on Real-Time Systems, Piscataway, NJ: IEEE , 2011, s. 162-171Konferansepaper (Fagfellevurdert)
  • 43.
    Stigge, Martin
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Ekberg, Pontus
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    The digraph real-time task model2011Inngår i: 17th Real-Time and Embedded Technology and Applications Symposium, Piscataway, NJ: IEEE Computer Society, 2011, s. 71-80Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Models for real-time systems have to balance the inherently contradicting goals of expressiveness and analysis efficiency. Current task models with tractable feasibility tests have limited expressiveness, restricting their ability to model many systems accurately. In particular, they are all recurrent, preventing the modeling of structures like mode switches, local loops, etc.

    In this paper, we advance the state-of-the-art with a model that is free from these constraints. Our proposed task model is based on arbitrary directed graphs (digraphs) for job releases. We show that the feasibility problem on preemptive uniprocessors for our model remains tractable. This even holds in the case of task systems with arbitrary deadlines.

  • 44.
    Stigge, Martin
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Refinement-based Exact Response-Time Analysis2014Inngår i: 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, s. 143-152Konferansepaper (Fagfellevurdert)
    Abstract [en]

    A recent trend in the theory of real-time scheduling is to consider generalizations of the classical periodic task model. Work on the associated schedulability and feasibility problems has resulted in algorithms that run efficiently and provide exact results. While these analyses give black-and-white answers about whether timing constraints are being met or not, response-time analysis adds a quantitative dimension. This brings new challenges for models more expressive than the classical periodic task model. An exact quantification of response time is difficult because of non-deterministic task behavior and a lack of combinable task-local worst cases. Therefore, previous approaches all make a trade-off between efficiency and precision, resulting in either prohibitively slow analysis run-times or imprecise over-approximate results. In this paper, we show that analysis can be both exact and efficient at the same time. We develop novel response-time characterizations to which we apply combinatorial abstraction refinement. Our algorithms for static-priority and EDF scheduling give exact results and are shown to be efficient for typical problem sizes. We advance the state-of-the-art by providing the first exact response-time analysis framework for graph-based task models.

  • 45. Su, Hang
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Zhu, Dakai
    Service guarantee exploration for mixed-criticality systems2014Inngår i: Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, Piscataway, NJ: IEEE , 2014Konferansepaper (Fagfellevurdert)
  • 46. Sun, Jinghao
    et al.
    Guan, Nan
    Wang, Yang
    Deng, Qingxu
    Zeng, Peng
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Feasibility of fork-join real-time task graph models: Hardness and algorithms2016Inngår i: ACM Transactions on Embedded Computing Systems, ISSN 1539-9087, E-ISSN 1558-3465, Vol. 15, nr 1, artikkel-id 14Artikkel i tidsskrift (Fagfellevurdert)
  • 47. Sun, Youcheng
    et al.
    Lipari, Giuseppe
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Improving the response time analysis of global fixed-priority multiprocessor scheduling2014Inngår i: Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, Piscataway, NJ: IEEE , 2014Konferansepaper (Fagfellevurdert)
  • 48. Wang, Wenqi
    et al.
    Wei, Yangjie
    Guan, Nan
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    The automatic detection and analysis of electrocardiogram based on Lorenz plot2015Inngår i: Proc. 12th International Conference on Robotics and Biomimetics, Piscataway, NJ: IEEE, 2015, s. 644-649Konferansepaper (Fagfellevurdert)
  • 49. Zhang, Tianyu
    et al.
    Guan, Nan
    Deng, Qingxu
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Start time configuration for strictly periodic real-time task systems2016Inngår i: Journal of systems architecture, ISSN 1383-7621, E-ISSN 1873-6165, Vol. 66–67, s. 61-68Artikkel i tidsskrift (Fagfellevurdert)
  • 50. Zhang, Yi
    et al.
    Guan, Nan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Xiao, Yanbin
    Yi, Wang
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Implementation and empirical comparison of partitioning-based multi-core scheduling2011Inngår i: Proc. 6th International Symposium on Industrial Embedded Systems, Piscataway, NJ: IEEE , 2011, s. 248-255Konferansepaper (Fagfellevurdert)
12 1 - 50 of 52
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf