|
| | |
|
Books
|
| | Real-Time Systems, Hans Hansson, Jan Carlson, Damir Isovic, Kristina Lundqvist, Thomas Nolte, Martin Ouimet (MIT), Paul Pettersson, Sasikumar Punnekkat, Cristina Seceleanu, Fraunhofer IESE, February, 2010 |
| | Event Pattern Detection for Embedded Systems - A Resource-efficient Event Algebra, Jan Carlson, VDM Verlag, ISBN: 978-3639184440, 2009 |
| | |
|
Journals
|
| | Virtual Node - To Achieve Temporal Isolation and Predictable Integration of Real-Time Components, Rafia Inam, Jukka Mäki-Turja, Jan Carlson, Mikael Sjödin, Journal on Computing, vol 1, nr 4, GSTF Publishing, January, 2012 |
| | A resource-efficient event algebra, Jan Carlson, Björn Lisper, Science of Computer Programming, vol 75, nr 12, p1215-1234, Elsevier, December, 2010 |
| | The SAVE approach to component-based development of vehicular systems, Mikael Åkerholm (former), Jan Carlson, Johan Fredriksson (former), Hans Hansson, John Håkansson (Department of Information Technology, Uppsala University), Anders Möller, Paul Pettersson, Massimo Tivoli (former), Journal of Systems and Software, vol 80, nr 5, p655-667, Elsevier, May, 2007 |
|
| | |
|
Theses
|
| | Event Pattern Detection for Embedded Systems, Jan Carlson, Ph D Thesis, Mälardalen University, June, 2007 |
| | An Intuitive and Resource-Efficient Event Detection Algebra, Jan Carlson, Licentiate Thesis, Mälardalen University Press, June, 2004 |
| | Efficient Bottom-up Evaluation of Magic Programs, Jan Carlson, Master Thesis, Linköpings Universitet, January, 2000 |
|
| | |
|
Conferences and workshops
|
| | 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 |
| | Model Level Worst-Case Execution Time Analysis for IEC 61499, Luka Lednicki, Jan Carlson, Kristian Sandström (ABB Corporate Research, Västerås), The 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE), ACM, Vancouver, Canada, June, 2013 |
| | Towards a model-based approach for allocating tasks to multicore processors, Juraj Feljan, Jan Carlson, Tiberiu Seceleanu, 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Cesme, Izmir, Turkey, September, 2012 |
| | Efficient Software Component Reuse in Safety-Critical Systems – An Empirical Study, Rikard Land (former), Mikael Åkerholm (former), Jan Carlson, 31th International Conference on Computer Safety, Reliability and Security, p 388, Springer, September, 2012 |
| | Timing Analysis of Component-based Embedded Systems, Jan Carlson, 15th International ACM SIGSOFT Symposium on Component Based Software Engineering, ACM, Bertinoro, Italy, 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 |
| | Extracting Client-side Web Application Code, Josip Maras, Jan Carlson, Ivica Crnkovic, World Wide Web Conference 2012, ACM, Lyon, France, April, 2012 |
| | Client-side Web Application Slicing, Josip Maras, Jan Carlson, Ivica Crnkovic, ASE 2011 - Automated Software Engineering, p 504-507, ASE, Lawrence, Kansas, November, 2011 |
| | Adding Support for Hardware Devices to Component Models for Embedded Systems, Luka Lednicki, Juraj Feljan, Jan Carlson, Mario Zagar (University of Zagreb), ICSEA 2011, The Sixth International Conference on Software Engineering Advances, p 149-154, IARIA, Barcelona, Spain, Editor(s):Luigi Lavazza, Luis Fernandez-Sanz, Oleksandr Panchenko, Teemu Kanstrén, October, 2011 |
| | Flexible Semantic-Preserving Flattening of Hierarchical Component Models, Thomas Leveque (former), Jan Carlson, Séverine Sentilles, Etienne Borde (former), 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), IEEE Computer Society, Oulu, Finland, August, 2011 |
| | Analyzable Modeling of Legacy Communication in Component-Based Distributed Embedded Systems, Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin, Jan Carlson, 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011), p 229-238, IEEE, Oulu, Finland, August, 2011 |
| | Automatic Synthesis and Adaption of Gray-box Components for Embedded Systems - Reuse vs. Optimization, Etienne Borde (former), Jan Carlson, 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS), IEEE Computer Society, Munich, Germany, July, 2011 |
| | Towards Verified Synthesis of ProCom, a Component Model for Real-Time Embedded Systems, Etienne Borde (former), Jan Carlson, 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE), ACM, Boulder, Colorado, USA, June, 2011 |
| | PRIDE – an Environment for Component-based Development of Distributed Real-time Embedded Systems, Etienne Borde (former), Jan Carlson, Juraj Feljan, Luka Lednicki, Thomas Leveque (former), Josip Maras, Ana Petricic (former), Séverine Sentilles, 9th Working IEEE/IFIP Conference on Software Architecture, IEEE, Boulder, Colorado, USA , June, 2011 |
| | Reusing Web Application User-Interface Controls, Josip Maras, Maja Štula (University of Split, Croatia), Jan Carlson, Proceedings of the 11th International Conference on Web Engineering (ICWE 2011), p 228-242, Springer, Paphos, Cyprus, Editor(s):Auer, Sören ; Diaz, Oscar ; Papadopoulos, George, June, 2011 |
| | Hierarchical Composition of Parametric WCET in a Component Based Approach, Thomas Leveque (former), Etienne Borde (former), Amine Marref (former), Jan Carlson, 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC'11), IEEE , Newport Beach, USA, March, 2011 |
| | Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems, Jan Carlson, Juraj Feljan, Jukka Mäki-Turja, Mikael Sjödin, 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, Lille, France, September, 2010 |
| | Integrating Behavioral Descriptions into a Component Model for Embedded Systems, Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, Cristina Seceleanu, 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), p 113-118, IEEE, Lille, France, September, 2010 |
| | Project Monitoring and Control In Model-Driven and Component-Based Development of Embedded Systems : The CARMA Principle and Preliminary Results, Rikard Land (former), Jan Carlson, Stig Larsson (former), Ivica Crnkovic, 5th International Conference on Evaluation of Novel Approaches to Software Engineering, SciTePress, Athens, Greece, July, 2010 |
| | Extracting client-side Web User Interface controls, Josip Maras, Maja Štula (University of Split, Croatia), Jan Carlson, International Conference on Web Engineering, p 502-505, IEEE, Vienna, Editor(s):Benatallah, B.; Casati, F.; Kappel, G.; Rossi, G. , July, 2010 |
| | Using Temporal Isolation to Achieve Predictable Integration of Real-Time Components, Rafia Inam, Jukka Mäki-Turja, Jan Carlson, Mikael Sjödin, 22nd Euromicro Conference on Real-Time Systems (ECRTS10) WiP Session, p 17-20, Brussels, Belgium, July, 2010 |
| | Using JavaBeans to Realize a Domain-Specific Component Model, Juraj Feljan, Jan Carlson, Mario Zagar (University of Zagreb), 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), p 474-477, Patras, Greece, August, 2009 |
| | Formal Semantics of the ProCom Real-Time Component Model, Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu, Paul Pettersson, 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Patras, Greece, August, 2009 |
| | Towards Guidelines for a Development Process for Component-Based Embedded Systems, Rikard Land (former), Jan Carlson, Stig Larsson (former), Ivica Crnkovic, Workshop on Software Engineering Processes and Applications (SEPA) in conjunction with the International Conference on Computational Science and Applications (ICCSA), p 43-58, Springer, Yongin, Korea, June, 2009 |
| | Integration of Extra-Functional Properties in Component Models, Séverine Sentilles, Petr Stepan (external), Jan Carlson, Ivica Crnkovic, 12th International Symposium on Component Based Software Engineering (CBSE 2009), LNCS 5582, Springer Berlin, LNCS 5582, East Stroudsburg University, Pennsylvania, USA, Editor(s):Christine Hofmeister, Grace A. Lewis, Iman Poernomo, June, 2009 |
| | Realizing a domain specific component model with JavaBeans, Juraj Feljan, Jan Carlson, Mario Zagar (University of Zagreb), Eight Conference on Software Engineering Research and Practice in Sweden (SERPS'08), Karlskrona, Sweden, November, 2008 |
| | Uniform treatment of hardware- and software components, Luka Lednicki, Jan Carlson, Mario Zagar (FER, University Zagreb), 8th Conference on Software Engineering Research and Practice in Sweden (SERPS'08), Karlskrona, Sweden, November, 2008 |
| | A Component Model Family for Vehicular Embedded Systems, Tomas Bures (former), Jan Carlson, Séverine Sentilles, Aneta Vulgarakis, The Third International Conference on Software Engineering Advances, IEEE, Sliema, Malta, October, 2008 |
| | Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT, John Håkansson (Department of Information Technology, Uppsala University), Jan Carlson, Aurelien Monot (Ecole des Mines, Nancy, France), Paul Pettersson, (external), 6th International Symposium on Automated Technology for Verification and Analysis, p 252-257, Springer-Verlag, Seoul, South Korea, Editor(s):Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan, October, 2008 |
| | Structural Testing of Component-Based Systems, Daniel Sundmark, Jan Carlson, Sasikumar Punnekkat, Andreas Ermedahl (former), Proceedings of the 11th International Symposium of Component Based Software Engineering (CBSE-2008), ACM, Karlsruhe, Germany, October, 2008 |
| | A Component Model for Control-Intensive Distributed Embedded Systems, Séverine Sentilles, Aneta Vulgarakis, Tomas Bures (former), Jan Carlson, Ivica Crnkovic, Proceedings of the 11th International Symposium on Component Based Software Engineering (CBSE2008), p 310-317, Springer Berlin, Karlsruhe, Germany, Editor(s):Michel R.V. Chaudron and Clemens Szyperski, October, 2008 |
| | Event-Pattern Triggered Real-Time Tasks, Jan Carlson, Jukka Mäki-Turja, Mikael Nolin, 16th International Conference on Real-Time and Network Systems (RTNS), p 77-85, Rennes, France, Editor(s):Giorgio Buttazzo and Pascale Mine, October, 2008 |
| | Bounding Shared-Stack Usage in Systems with Offsets and Precedences, Markus Bohlin, Kaj Hänninen, Jukka Mäki-Turja, Jan Carlson, Mikael Nolin, 20th Euromicro Conference on Real-Time Systems, Prague, Czech Republic, July, 2008 |
| | Determining Maximum Stack Usage in Preemptive Shared Stack Systems, Kaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin, Proceedings of the 9th Real-Time in Sweden (RTiS'07), p 118-126, Västerås, Sweden, August, 2007 |
| | Handling Subsystems using the SaveComp Component Technology, Mikael Åkerholm (former), Jan Carlson, Johan Fredriksson (former), Hans Hansson, Mikael Nolin, Thomas Nolte, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, Workshop on Models and Analysis for Automotive Systems (WMAAS'06) in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06), Rio de Janeiro, Brazil, Editor(s):Marco Di Natale and Luis Almeida, December, 2006 |
| | Determining Maximum Stack Usage in Preemptive Shared Stack Systems, Kaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin, The 27th IEEE Real-Time Systems Symposium, Rio de Janeiro, Brazil, December, 2006 |
| | Merging In-House Developed Software Systems – A Method for Exploring Alternatives, Rikard Land (former), Jan Carlson, Ivica Crnkovic, Stig Larsson (former), Quality of Software Architecture, University of Karlsruhe, Västerås, Sweden, June, 2006 |
| | SaveCCM: An Analysable Component Model for Real-Time Systems, Jan Carlson, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, International Workshop on Formal Aspects of Component Software (FACS05), p 127-140, Elsevier, Macao, Editor(s):Z. Liu and L. Barbosa, October, 2005 |
| | An event algebra extension of the triggering mechanism in a component model for embedded systems, Jan Carlson, Mikael Åkerholm (former), Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), p 107-121, ENTCS, Edinburgh, Editor(s):J. Küster-Filipe and I. Poernomo and R. Reussner and S. Shukla, April, 2005 |
| | An Event Detection Algebra for Reactive Systems, Jan Carlson, Björn Lisper, Fourth ACM International Conference on Embedded Software (EMSOFT'04), p 147-154, ACM, New York, Pisa, Italy, September, 2004 |
| | An interval-based algebra for restricted event detection, Jan Carlson, Björn Lisper, First International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS 2003), p 121 - 133, Springer-Verlag, Marseille, France, Editor(s):Kim G. Larsen, Peter Niebert, September, 2003 |
| | Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration, Jan Carlson, Tomas Lennvall (former), Gerhard Fohler (former), 6th IEEE International Symposium on Object-oriented Real-time distributed Computing, Hakodate, Japan, May, 2003 |
| | Value Based Overload Handling of Aperiodic Tasks in Offline Scheduled Real-Time Systems, Jan Carlson, Tomas Lennvall (former), Gerhard Fohler (former), Work-in-progress Session, 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June, 2001 |
|
| | |
|
MRTC reports
|
| | 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 |
| | Feasibility of migrating analysis and synthesis mechanisms from ProCom to IEC 61499, Jan Carlson, Luka Lednicki, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-268/2012-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, June, 2012 |
| | Automatic Synthesis and Integration of Gray-box Components for Critical Embedded Systems - Reuse vs. Optimizations, Etienne Borde (former), Jan Carlson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-252/2011-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2011 |
| | The PROGRESS Centre for Predictable Embedded Software Systems - Half-time report (edited version), Hans Hansson, Thomas Nolte, Jakob Axelsson, Mats Björkman, Jan Carlson, Ivica Crnkovic, Björn Lisper, Kristina Lundqvist, Christer Norström, Paul Pettersson, Sasikumar Punnekkat, Mikael Sjödin, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-250/2010-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, November, 2010 |
| | The Progress Process Guidelines (PPG), Rikard Land (former), Jan Carlson, Stig Larsson (former), Ivica Crnkovic, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-247/2010-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, September, 2010 |
| | Connecting ProCom and REMES, Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, Cristina Seceleanu, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-244/2010-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May, 2010 |
| | ProCom: Formal Semantics, Jagadish Suryadevara, Aneta Vulgarakis, Jan Carlson, Cristina Seceleanu, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-234/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2009 |
| | ProCom - the Progress Component Model Reference Manual, version 1.0, Tomas Bures (former), Jan Carlson, Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-230/2008-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, June, 2008 |
| | Progress Component Model Reference Manual - version 0.5, Tomas Bures (former), Jan Carlson, Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-225/2008-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, April, 2008 |
| | Towards Component Modelling of Embedded Systems in the Vehicular Domain, Tomas Bures (former), Jan Carlson, Séverine Sentilles, Aneta Vulgarakis, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-226/2008-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, April, 2008 |
| | Safe Shared Stack Bounds in Systems with Offsets and Precedences, Markus Bohlin, Kaj Hänninen, Jukka Mäki-Turja, Jan Carlson, Mikael Nolin, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-221/2008-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, January, 2008 |
| | The SaveCCM Language Reference Manual, Mikael Åkerholm (former), Jan Carlson, John Håkansson (Department of Information Technology, Uppsala University), Hans Hansson, Mikael Nolin, Thomas Nolte, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-207/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, January, 2007 |
| | Analysing Stack Usage in Preemptive Shared Stack Systems, Kaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-202/2006-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, July, 2006 |
| | An event detection algebra for reactive systems, Jan Carlson, Björn Lisper, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-117/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2004 |
| | An improved algebra for restricted event detection, Jan Carlson, Björn Lisper, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-159/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, February, 2004 |
| | Languages and methods for specifying real-time systems, Jan Carlson, MRTC report, Mälardalen Real-Time Research Centre, Mälardalen University, August, 2002 |
| | Simulation Results and Algorithm Details for Value Based Overload Handling, Jan Carlson, Tomas Lennvall (former), Gerhard Fohler (former), MRTC report, Mälardalen Real-Time Research Centre, Mälardalen University, May, 2002 |
| | Value Based Overload Handling of Aperiodic Tasks in Distributed Offline Scheduled Real-Time Systems, Tomas Lennvall (former), Jan Carlson, Gerhard Fohler (former), MRTC report, Mälardalen Real-Time Research Centre, Mälardalen University, May, 2001 |
|
| | |
|
Technical reports
|
| | A Constant-memory Event Algebra with Intuitive Algebraic Properties, Jan Carlson, Technical Report, MRTC, December, 2005 |
| | Thesis proposal: A resource-efficient event detection algebra, Jan Carlson, Technical Report, MRTC, February, 2004 |
| | Licentiate thesis proposal: A resource-efficient event detection algebra, Jan Carlson, Technical Report, MRTC, November, 2003 |
|
