|
Recent Publications of the MCI Software Engineering Group |
|
|
2009 1. C. Angelov, K. Sierszecki and Yu Guo: Formal Design Models for Distributed Embedded Control Systems. Accepted for presentation the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ACES-MB 2009, Denver, Colorado, USA, Oct 2009 [PDF] 2. Yu Guo, K. Sierszecki and C. Angelov: Model-Driven Development of Domain-Specific Applications: Tool Support. Proc. of the 7th Nordic Workshop on Model Driven Software Engineering NW-MODE'09, Tampere, Finland, Aug 2009 [PDF] 3. Feng Zhou, Wei Guan, K. Sierszecki and C. Angelov: Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study. Proc. of the 2009 International Conference on Embedded Software and Systems ICESS 2009, Hangzhou, China, May 2009 [PDF] 2008 1. Z. Karakehayov, Yu Guo: Parallel Embedded Systems: Where Real-Time and Low-Power Meet. Proc. of the ISCA's 21st lnternational Conference on Parallel and Distributed Computing and Communications Systems PDCCS 2008, New Orleans, Louisiana, USA, Sept 2008 [PDF] 2. N. Marian and A. Bilberg: Experience With The Behavior-Based Robot Development. Proc. of the 9th International Workshop on Research and Education in Mechatronics REM 2008, pp. 114-120, Bergamo, Italy, Sept 2008 3. C. Angelov, K. Sierszecki and Feng Zhou: A Software Framework for Hard Real-Time Distributed Embedded Systems. Proc. of the 34th EUROMICRO Conference on Software Engineering and Advanced Applications SEAA 2008, Parma, Italy, Sept 2008 [PDF] 4. C. Angelov, Xu Ke, Yu Guo and K. Sierszecki: Reconfigurable State Machine Components for Embedded Applications. Proc. of the 34th EUROMICRO Conference on Software Engineering and Advanced Applications SEAA 2008, Parma, Italy, Sept 2008 [PDF] 5. N. Marian and Peng Yang: A Truly Jitter-Free Real-Time Kernel. Proc. of the 34th WiP (Work in Progress) EUROMICRO Conference, SEAA 2008, Parma, Italy, Sept 2008 6. Yu Guo, K. Sierszecki and C. Angelov: COMDES Development Toolset. Proc. of the 5th International Workshop on Formal Aspects of Component Software FACS'08, Malaga, Spain, Sept 2008 [PDF] 7. Xu Ke, P. Pettersson, K. Sierszecki and C. Angelov: Verification of COMDES-II Systems Using UPPAAL with Model Transformation. Proc. of the 14th International IEEE Conference on Embedded and Real-Time Computing Systems and Applications RTCSA 2008, Kaohsiung, Taiwan, Aug 2008 [PDF] 8. K. Sierszecki, C. Angelov and Xu Ke: A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications. Proc. of the 14th International IEEE Conference on Embedded and Real-Time Computing Systems and Applications RTCSA 2008, Kaohsiung, Taiwan, Aug 2008 [PDF] 9. Yu Guo, K. Sierszecki and C. Angelov: A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems. Proc. of the 1st IEEE International Workshop on Component-Based Design of Resource-Constrained Systems CORCS 2008, Turku, Finland, July/Aug 2008 [PDF] 10. N. Marian and S. Top: Integration of Simulink Models with Component-based Software Models. Proc. of the 9th International Conference on Development and Application Systems DAS 2008, pp. 25-31, Suceava, Romania, May 2008 11. K. Sierszecki and C. Angelov: Reusable and Reconfigurable State Machines for Embedded Systems. In the book: Embedded Systems: Status and Perspective. American Scientific Publishers, to be published 2007 1. Xu Ke, Paul Pettersson, Krzysztof Sierszecki and Christo Angelov: Verification of COMDES-II Systems Using UPPAAL with Model Transformation. Technical Report, Nov 2007 [PDF] 2. J. Berthing and T. Maier: Formalized Implementation of Safety-Related Architectures in Compliance with Functional Safety Requirements. Proc. of the 2nd IET International Conference on System Safety, London, UK, Oct 2007 3. J. Berthing and and T. Maier: A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements. Proc. of the 26th International Conference on Computer Safety, Reliability and Security SAFECOMP'2007, Nuremberg, Germany, Sept 2007 4. J. Berthing and C. Angelov: Component-Based Design of Safe Real-Time Kernels for Embedded Systems. Proc. of the 33rd EUROMICRO Conference SEAA 2007, Lübeck, Germany, Aug 2007 [PDF] 5. Xu Ke, K. Sierszecki and C. Angelov: COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems. Proc. of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications RTCSA'2007, Daegu, Korea, Aug 2007 [PDF] 6. C. Angelov and J. Berthing: A Timed Multitasking Architecture for Distributed Embedded Systems. Proc. of the IEEE Second International Symposium on Industrial Embedded Systems SIES'2007, Lisbon, Portugal, July 2007 [PDF] 7. Yu Guo, Feng Zhou, N. Marian and C. Angelov: Hardware-in-the-Loop Simulation of Component-Based Embedded Systems. Proc. of the 8th International Workshop on Research and Education in Mechatronics REM'2007, Tallinn, Estonia, June 2007 [PDF] 8. Nicolae Marian and Yue Ma: Translation of Simulink Models to Component-based Software Models. Proc. of the 8th International Workshop on Research and Education in Mechatronics REM'2007, pp. 262-267, Tallinn, Estonia, June 2007 [PDF] 2006 1. Xu Ke, K. Sierszecki: Generative Programming for a Component-based Framework of Distributed Embedded Systems. Proc. of the 6th OOPSLA Workshop on Domain-Specific Modeling, Portland, Oregon, USA, Oct 2006 [PDF] 2. C. Angelov and J. Berthing: Distributed Timed Multitasking: a Model of Computation for Hard Real-Time Distributed Systems. Proc. of the 5th IFIP Working Conference on Distributed and Parallel Embedded Systems DIPES'2006, Braga, Portugal, Oct 2006 [PDF] 3. C. Angelov, Xu Ke and K. Sierszecki: A Component-Based Framework for Distributed Control Systems. Proc. of the 32nd Euromicro Conference on Software Engineering and Advanced Applications EUROMICRO-SEAA'2006, Dubrovnik, Croatia, Aug/Sept 2006 [PDF] 4. C. Angelov, K. Sierszecki, N. Marian and Jinpeng Ma: A Formal Component Framework for Distributed Embedded Systems. In I. Gorton et al. (Eds.): CBSE 2006, LNCS 4063, pp. 206-221, 2006 [PDF] 5. N. Marian and Yu Guo: Model-Based Design of Embedded Software. Proc. of the 7th International Workshop on Research and Education in Mechatronics REM’2006, Stockholm, Sweden, June 2006 [PDF] 6. N. Marian: Embedded Software Development for Mechatronic Systems. Proc. of the 8th International Conference on Development and Application Systems DAS 2006, Suceava, Romania, May 2006 [PDF] 2005 1. C. Angelov, K. Sierszecki and N. Marian: Design Models for Reusable and Reconfigurable State Machines. In L.T. Yang et al. (Eds.): EUC 2005, LNCS 3824, pp. 152-163, 2005 [PDF] 2. C. Angelov, J. Berthing and K. Sierszecki: A Jitter-Free Operational Environment for Dependable Embedded Systems. Proc. of the International Embedded Systems Symposium IESS'05, Manaus, Brazil, Aug 2005 [PDF] 3. N. Marian, Yang Liu and Yue Lu: Improvements in Control Software Development. Proc. of the 6th International Workshop on Research and Education in Mechatronics REM’2005, Annecy, France, July 2005 [PDF] 4. N. Marian: Fault-Tolerant Embedded Software Development Based on Components. Proc. of the 7th International Scientific Conference on Computer Integrated Manufacturing - Intelligent Manufacturing Systems CIM'2005, Gliwice-Wisla, Poland, May 2005 [PDF] 5. N. Marian, Jinpeng Ma: Reliable Component-based Software Development for Embedded Systems. Proc. of the 2nd International Conference on Mechatronics ICOM'05, Kuala Lumpur, Malaysia, May 2005 [PDF] 6. S. Top, B.N. Jørgensen: Separation of Concerns in Mission Software Systems - an Industrial Acceptable Approach. Proceedings of the IASTED International Conference on Software Engineering (SE 2004), ACTA Press, 2005 7. Z. Karakehayov: Low-Power Design for Smart Dust Networks. Handbook of Sensor Networks, in M. Ilyas and I. Mahgoub (Eds.): Compact Wireless and Wired Sensing Systems, CRC Press LLC, pp. 37-1 - 37-12, 2005 8. Z. Karakehayov: Design of Distributed Sensor Networks for Security and Defense. In J. S. Kowalik, J. Gorski and A. Sachenko (Eds.): Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues, Springer, NATO Science Series II: Mathematics, Physics and Chemistry, Vol. 196, pp. 177-192, 2005 9. Z. Karakehayov: Using REWARD to Detect Team Black-Hole Attacks in Wireless Sensor Networks. Proceedings of the Workshop on Real-World Wireless Sensor Networks REALWSN'05, Stockholm, Sweden, June 2005 10. Z. Karakehayov, I. Radev: REWARD: A Routing Method for Ad-hoc Networks with Adjustable Security Capability. Proceedings of the NATO Advanced Research Workshop "Security and Embedded Systems", Patras, Greece, Aug 2005 11. Z. Karakehayov: I/O Aware List Scheduling for Distributed Embedded Systems. Proceedings of the Third IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing Systems, Sofia, Bulgaria, Sept 2005 12. Z. Karakehayov, I. Radev: A Scalable Security Service for Geographic Ad-hoc Routing. International Scientific Journal of Computing, Vol. 4, No 2, pp. 124-132, 2005 13. Z. Karakehayov, Z. Monov, L. Karakehayova: ARCS: A Simulator for Distributed Sensor Networks. Proceedings of the International Conference ELECTRONICS'2005, Sozopol, Bulgaria, 2005 2004 1. C. Angelov and J. Berthing: A Jitter-Free Kernel for Hard Real-Time Systems. In Z. Wu et al. (Eds.): ICESS 2004, LNCS 3605, pp. 388-394, 2005 [PDF] 2. N. Marian: A Model for Component-Based Development of Embedded Software. Proc. of the 1st International Conference on Embedded Software and System ICESS’2004, Hangzhou, China, Dec 2004 3. C. Angelov and K. Sierszecki: A Software Framework for Component-Based Embedded Applications. Proc. of the Asia-Pacific Software Engineering Conference APSEC’2004, Busan, Korea, Dec 2004 [PDF] 4. C. Angelov, J. Berthing, K. Sierszecki and N. Marian: Function Unit Specification in a Timed Multitasking Environment. Proc. of the 17th International Conference on Software and Systems Engineering and Their Applications ICSSEA’04, Paris, France, Dec 2004 [PDF] 5. C. Angelov, K. Sierszecki and N. Marian: Component-Based Design of Embedded Software: an Analysis of Design Issues. In N. Guelfi et al. (Eds.): FIDJI 2004, LNCS 3409, pp. 1-11, 2005 [PDF] 6. C. Angelov, N. Marian, K. Sierszecki and Jinpeng Ma: Model-Based Design and Verification of Embedded Software. Proc. of the 5th European Workshop on Research and Education in Mechatronics REM’2004, Poland, Sept 2004 [PDF] 7. C. Angelov and K. Sierszecki: Component-Based Design of Software for Distributed Embedded Systems. Proc. of the 10th IEEE International Conference on Methods and Models in Automation and Robotics MMAR’2004, Medzyzdroje, Poland, Sept 2004 [PDF] 8. S. Top, H.J. Nørgaard, B. Krogsgaard, B.N. Jørgensen: The Sandwich Code File Structure - An architectural support for software engineering in simulation based development of embedded control applications. Proceedings of the IASTED International Conference on Software Engineering (SE 2004), ACTA Press, 2004 2003 1. C. Angelov and K. Sierszecki: Component-Based Design of Software for Distributed Embedded Systems. Proc. of the 16th International Conference on Software and Systems Engineering and Their Applications ICSSEA’03, Paris, France, Dec 2003 2. C. Angelov, R.V.N. Melnik and J. Buur: The Synergistic Integration of Mathematics, Software Engineering and User-Centered Design: Exploring New Trends in Education. Future Generation Computer Systems, 19 (2003), pp. 1299 – 1307 [PDF] 3. S. Top, H.J. Nørgaard, B.N. Jørgensen: Object oriented C++ programming in SIMULINK® - A reengineered simulation architecture for the control algorithm code view. Proceedings of Nordic MATLAB Conference 2003, pp. 79-84, 2003 2002 1. N. Marian: A Process Algebra for Predictible Control Systems. Scientific Annals of Cuza University, DBLP Bibliography Server, Volume 11, 2002 [PDF] 2. C. Angelov and N. Marian: Software Engineering Education for Mechatronic Engineers: the Challenges of the Post-PC Era. Proc. of the 3rd European Workshop on Education in Mechatronics, Copenhagen, Sept 2002 [PDF] 3. C. Angelov, I.E. Ivanov and A. Burns: HARTEX - a Safe Real-Time Kernel for Distributed Computer Control Systems. Software: Practice and Experience, vol. 32, No 3, pp. 209–232, March 2002 [PDF] 4. S. Top, B.N. Jørgensen, C. Angelov: The Censor Compound Design Pattern. Proceedings of the 7th European Conference on Pattern Languages of Programs, UVK Universitaetsverlag Konstanz GmbH, pp. 125-140, 2002
|