| | |
|
Journals
|
| | Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata , Leo Hatvani, Cristina Seceleanu, Paul Pettersson, ACM SIGBED Review, vol 10, nr 1, ACM, February, 2013 |
| | Timing analysis for a composable mode switch, Hang Yin, Hans Hansson, ACM SIGBED Review, vol 8, nr 3, p15-18, ACM, September, 2011 |
|
| | |
|
Theses
|
| | Mode switch for component-based multi-mode systems, Hang Yin, Licentiate Thesis, Mälardalen University, December, 2012 |
| | Design and Analysis Support for Abstract Models of Component-based Embedded Systems, Jagadish Suryadevara, Licentiate Thesis, Mälardalen University Press, June, 2011 |
| | Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis, Aida Causevic, Licentiate Thesis, Mälardalen University, June, 2011 |
| | Towards Adaptive Hierarchical Scheduling of Real-time Systems, Nima Moghaddami Khalilzad, Master Thesis, MRTC, April, 2011 |
| | Adaptive Embedded Systems, Hang Yin, Hans Hansson, Master Thesis, MRTC, October, 2010 |
|
| | |
|
Conferences and workshops
|
| | Verifying MARTE/CCSL Mode Behaviors using UPPAAL, Jagadish Suryadevara, Cristina Seceleanu, Frederic Mallet (Univ. of Nice & INRIA, Sophia-Antipolis), Paul Pettersson, 11th International Conference on Software Engineering and Formal Methods (SEFM), Madrid, SPAIN, September, 2013 |
| | Adaptive Hierarchical Scheduling Framework: Configuration and Evaluation, Nima Moghaddami Khalilzad, Moris Behnam, Thomas Nolte, 18th IEEE International Conference on Emerging Technology & Factory Automation (ETFA'13), Cagliari, Italy, September, 2013 |
| | Validating EAST-ADL Timing Constraints using UPPAAL, Jagadish Suryadevara, 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Spain, September, 2013 |
| | Multi-Level Adaptive Hierarchical Scheduling Framework for Composing Real-Time Systems, Nima Moghaddami Khalilzad, Moris Behnam, Thomas Nolte, 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'13), Taipei, Taiwan, August, 2013 |
| | Implementation of the Multi-Level Adaptive Hierarchical Scheduling Framework, Nima Moghaddami Khalilzad, Moris Behnam, Thomas Nolte, 9th annual workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT '13), Paris, France, July, 2013 |
| | Mode switch handling for the ProCom component model, Hang Yin, Hongwan Qin (external), Jan Carlson, Hans Hansson, The 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE), Vancouver, Canada, June, 2013 |
| | Towards Implementation of Virtual-Clustered Multiprocessor Scheduling in Linux, Syed Md Jakaria Abdullah (external), Nima Moghaddami Khalilzad, Moris Behnam, Thomas Nolte, 8th IEEE International Symposium on Industrial Embedded Systems (SIES'13), Work-in-Progress (WiP) session, Porto, Portugal, June, 2013 |
| | Exact and Approximate Supply Bound Function for Multiprocessor Periodic Resource Model: Unsynchronized Servers, Nima Moghaddami Khalilzad, Moris Behnam, Thomas Nolte, 5th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'12), ACM, San Juan, Puerto Rico, December, 2012 |
| | Timed Automata Modeling of CCSL Constraints, Jagadish Suryadevara, Ling Yin (East China Normal University, Shanghai, China), First International Workshop on Formal Techniques for Safety-Critical Systems, Kyoto, JAPAN, November, 2012 |
| | Timing analysis for mode switch in component-based multi-mode systems, Hang Yin, Hans Hansson, 24th Euromicro Conference on Real-Time Systems (ECRTS12), p 255-264, IEEE Computer Society, Pisa, Italy, July, 2012 |
| | Bandwidth Adaptation in Hierarchical Scheduling Using Fuzzy Controllers, Nima Moghaddami Khalilzad, Moris Behnam, Giacomo Spampinato, Thomas Nolte, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Karlsruhe, Germany, June, 2012 |
| | Towards mode switch handling in component-based multi-mode systems, Hang Yin, Jan Carlson, Hans Hansson, 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012), p 183-188, ACM, Bertinoro, Italy, Editor(s):Nenad Medvidovic & Magnus Larsson, June, 2012 |
| | Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata, Leo Hatvani, Cristina Seceleanu, Paul Pettersson, 4th Workshop on Adaptive and Reconfigurable Embedded Systems, April, 2012 |
| | Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems, Leo Hatvani, Paul Pettersson, Cristina Seceleanu, FASE'12: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, p 115-129, Springer-Verlag Berlin Heidelberg, Editor(s):Juan de Lara and Andrea Zisman, March, 2012 |
| | A mode mapping mechanism for component-based multi-mode systems, Hang Yin, Hans Hansson, 4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems(CRTS 2011), p 38-45, Vienna, Austria, Editor(s):Robert I. Davis and Linh T.X. Phan, November, 2011 |
| | Towards Adaptive Hierarchical Scheduling of Real-Time Systems, Nima Moghaddami Khalilzad, Thomas Nolte, Moris Behnam, Mikael Åsberg, 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'11), Toulouse, France, September, 2011 |
| | Timing analysis for a composable mode switch, Hang Yin, Hans Hansson, The Work-in-Progress session of the 23rd Euromicro Conference on Real-Time Systems(ECRTS'11), p 15-18, ACM SIGBED Review, Porto, Portugal, Editor(s):Enrico Bini, July, 2011 |
| | Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool, Paul Pettersson, IEEE 35th Annual Computer Software and Applications Conference, p 450-451, IEEE Computer Society Press, July, 2011 |
| | Towards Adaptive Hierarchical Scheduling of Overloaded Real-Time Systems, Nima Moghaddami Khalilzad, Thomas Nolte, Moris Behnam, 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), Work-in-Progress (WiP) session, Västerås, Sweden, June, 2011 |
| | On Adaptive Hierarchical Scheduling of Real-time Systems Using a Feedback Controller, Nima Moghaddami Khalilzad, Moris Behnam, Thomas Nolte, Mikael Åsberg, 3rd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'11), Chicago, IL, USA, April, 2011 |
| | Demonstrating an Ethernet Switch Enhanced with Hierarchical Scheduling, Rui Santos (University of Aveiro, Portugal), Paulo Pedreiras (University of Aveiro, Portugal), Moris Behnam, Thomas Nolte, Luis Almeida (University of Porto, Portugal), 3rd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'11), Chicago, IL, USA, April, 2011 |
| | Composable mode switch for component-based systems, Hang Yin, Etienne Borde (former), Hans Hansson, 3rd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2011), p 19-22, Chicago, IL, US, Editor(s):Sebastian Fischmeister, Linh TX Phan, April, 2011 |
| | Accelerating exact schedulability analysis for fixed-priority scheduling, Hang Yin, Jiale Zhou, Ugur Keskin (Eindhoven University of Technology, The Netherlands), Reinder J. Bril (TU/e, The Netherlands), The Work-in-Progress Session of the 22nd Euromicro Conference on Real-Time Systems(ECRTS'10), p 5-8, Brussels, Belgium, Editor(s):Robert I. Davis, July, 2010 |
|
| | |
|
MRTC reports
|
| | Handling multiple mode switch scenarios in component-based multi-mode systems, Hang Yin, Hans Hansson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-274/2013-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, June, 2013 |
| | Mode switch handling for the ProCom component model, Hang Yin, Jan Carlson, Hans Hansson, Hongwan Qin (external), MRTC report ISSN 1404-3041 ISRN MDH-MRTC-271/2013-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, February, 2013 |
| | Proceedings of the 23rd Nordic Workshop on Programming Theory, Paul Pettersson, Cristina Seceleanu, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-254/2011-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, October, 2011 |
|
| | |
|
Technical reports
|
| | A UPPAAL model for timing analysis of atomic execution in component-based multi-mode systems, Hang Yin, Hans Hansson, Technical Report, MRTC, February, 2012 |
|
