Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2005.12D.7.1049

Scenario-Based Implementation Synthesis for Real-Time Object-Oriented Models  

Kim, Sae-Hwa (서울대학교 전기컴퓨터공학부)
Park, Ji-Yong (서울대학교 전기컴퓨터공학부)
Hong, Seong-Soo (서울대학교 전기컴퓨터공학부)
Publication Information
The KIPS Transactions:PartD / v.12D, no.7, 2005 , pp. 1049-1064 More about this Journal
Abstract
The demands of increasingly complicated software have led to the proliferation of object-oriented design methodologies in embedded systems. To execute a system designed with objects in target hardware, a task set should be derived from the objects, representing how many tasks reside in the system and which task processes which event arriving at an object. The derived task set greatly influences the responsiveness of the system. Nevertheless, it is very difficult to derive an optimal task set due to the discrepancy between objects and tasks. Therefore, the common method currently used by developers is to repetitively try various task sets. This paper proposes Scenario-based Implementation Synthesis Architecture (SISA) to solve this problem. SISA encompasses a method for deriving a task set from a system designed with objects as well as its supporting development tools and run-time system architecture. A system designed with SISA not only consists of the smallest possible number of tasks, but also guarantees that the response time for each event in the system is minimized. We have fully implemented SISA by extending the ResoRT development tool and applied it to an existing industrial PBX system. The experimental results show that maximum response times were reduced $30.3\%$ on average compared to when the task set was derived by the best known existing methods.
Keywords
Object-oriented Real-time System Design; Embedded Software Development Methodology; Automated Multitasking Code Synthesis; Object-Oriented Modeling Tools; Unified Modeling Language(UML);
Citations & Related Records
연도 인용수 순위
  • Reference
1 W. Ho, J. jezequel, A. Guennec, and F. Pennaneac'h, 'UMLAUT: An Extendible UML Transformation Framework,' Proceedings of Automated Software Engineering (ASE'99), pp.275-278, 1999   DOI
2 IAR Systems Incorporation, visualSTATE, www.iar.com
3 IBM Rational Software Corporation, 'Rational Rose Real Time User Guide: Revision 2001.03.00,' 2000
4 I-Logix Incorporation. Rhapsody tools. http//www.ilogix.com
5 Institute for Electrical and Electronic Engineers and The Open Group, Base Specifications Issue 6, IEEE Std. 1003.1 (POSDIX), 2004 Edition, System Interlaces volume, 2004
6 H. Kaindl, 'A Design Process Based on a Model Combining Scenarios with Goals and Functions,' IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, Vol.30, No.5, pp.537-551, 2000   DOI   ScienceOn
7 B. P. Douglass, 'Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns,' Addison-Wesley, 1999
8 B. P. Douglass, 'Real-Time UML: Developing Efficient Objects for Embedded Systems,' Addison-Wesley, 1999
9 D. Galran, L. Cai, and R. L. Nord, 'A Transformational Approach to Generating Application Specific Environments', Proceedings of ACM SIGSOFT Symposium of Software Development Environment, pp.68-77, 1992   DOI
10 D. Gac.drean and P. Freedman, 'Temporal Analysis and Object-Oriented Real-Time Software Development: A Case Study with ROOM/Objectime,' Proceedings of IEEE Real-Time Systems Symposium, pp.110-119, 1996   DOI
11 H. Gomaa, 'Designing Concurrent, Distributed, and Real-Time Applications with UML,' Addison-Wesley Longman, 2000
12 G. Gullekson and B. Selic, Design Patterns for Real-Time Software, Proceedings of Embedded Systems Conference West, 1996
13 J. M. Carroll, Ed., 'Scenario-Based Design: Envisioning Work and Technology in System Development,' John Wiley and Sons, 1995
14 R. Alur, G.J. Holzmann, and D. Peled, 'An Analyser for Message Sequence Charts,' Proceedings of Second Int'l Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), pp.35-48, 1996
15 ARTiSAN Software Tools Incorporation. Real-Time Studio, http://www.artisansw.com
16 K.Weidenhaupt, K. Pohl, M. Jarke, and P. Haumer, 'Scenarios in System Development: Current Practice,' IEEE Software, pp.33-45, 1998   DOI   ScienceOn
17 S. Balsamo, A. D. Marco, P. Inverardi, and M. Simeoni, 'Model-Based Performance Prediction in Software Development: A Survey,' IEEE Transactions on Software Engineering, pp.295-310, Vol.30, No.5, 2004   DOI   ScienceOn
18 A. Burns and A. Wellings, 'Real-Time Systems: Specification, Verification, and Analysis,' chapter Advanced Fixed Priority Scheduling, pp.32-65, Prentice Hall, 1996
19 J. M. Carroll, R. L. Mack, S. P. Robertson, and M. B. Rosson, 'Binding Objects to Scenarios of Use,' International Journal of Human-Computers. Stud., Vol.41, No.1/2, pp.243-276, 1994   DOI   ScienceOn
20 Y. Wang and M. Saksena, 'Scheduling Fixed Priority Tasks with Preemption Threshold,' Proceedings of IEEE Real-Time Computing Systems and Applications Symposium, pp. 328- 335, 1999   DOI
21 M. Awad, J. Kuusela, and J. Ziegler, 'Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion,' Prentice Hall, 1996
22 C. Simonyi, 'Intentional Programming-Innovation in the Legacy Age,' International Federation for Information Processing Work Group 2.1, http://research.microsoft.com/ip, June, 1996
23 J. Whittle and J. Schumann, 'Generating Statechart Designs from Scenarios,' Proceedings of International Conference on Software Engineering (lCSE '00), pp.314-323, 2000   DOI
24 J. Zalewski, Real-Time Software Architectures and Design Patterns: Fundamental Concepts and Their Consequences - 키note Address, Proceedings of 24th lFAC/IFIP Workshop on Real-Time Programming, 1999
25 M. Saksena, A. Ptak, P. Freedman, and P. Rodziewicz. 'Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models,' Proceedings of IEEE Real-Time Systems Symposium, pp.92-102, 1998   DOI
26 Telelogic Corporation. TAU, http://www.telelogic.com
27 P.P. Texel and C.B. Williams, 'Use Cases Combined with Booch, OMT, and UML' Prentice-Hall, 1997
28 S. Uchitel, J. Kramer, and J. Magee, 'Synthesis of Behavioral Models from Scenarios,' IEEE Transactions on Software Engineering, Vol.29, No.2, pp.99-115, 2003   DOI   ScienceOn
29 M. Saksena and P. Karvelas. 'Designing for Schedulability: Integrating Schedulability Analysis with Object-Oriented Design,' Proceedings of Euromicro Conference on Real-Time Systems, pp.101-108, 2000   DOI
30 M. Saksena, P. Karvelas, and Y. Wang. 'Automatic Synthesis of Multi-tasking Implementations from Real-Time Object-Oriented Models,' Proceedings of IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp.360-367, 2000   DOI
31 J. Mukerji and J. Miller, 'Model Driven Architecture (MDA) Guide Version 1.0.1' OMG Document Number: omg/200306-01, 2003
32 E. Rudolph, P. Graubmann, andJ. Grabowski, 'Tutorial on Message Sequence Charts '96,' Proceedings of IFIP TC6 WG6.1 Int'l Conf. Formal Description Techniques (FORTE '96), pp.1629-1641, 1996
33 B. Selic, G. Gullekson, and P. T. Ward, 'Real-Time Object-Oriented Modeling,' John Wesley and Sons, 1994
34 M. Saksena, P. Freeman, and P. Radziewicz, 'Guidelines for Automated Implementation of Executable Object Oriented Models for Real-Time Embedded Control Systems,' Proceedings of IEEE Real-Time Systems Symposium, pp.240-251, 1997   DOI
35 Object Management Group, 'UML Profile for Schedulability, Performance, and Time,' OMG Document ptc/2003-09-01, http://www.omg.org/cgi-bin/doc?ptc/2002-09-03, 2003
36 Object Management Group. Unified Modeling Language (UML), version 2.0 (under finalization), OMG Documentation, http://www.omg.org/technology/ documents/modeling_spec_catalog.htm#uml, 2003
37 A. Larnsweerde and L. Willemet, 'Inferring Declarative Requirements Specifications from Operational Scenarios,' IEEE Transactions on Software Engineering, Vol.24 , No.4, pp.1089-1114, 1998   DOI   ScienceOn
38 C. Potts, 'Using Schematic Scenarios to Understand User Needs,' Proceedings of Symposium on Designing Interactive Systems: Processes, Practices, Methods, and Techniques (DIS '95). MI: ACM, pp.247-256, August, 1995   DOI
39 C. Rolland, C. Souveyet, and C. Ben Achour, 'Guiding Goal Modeling Using Scenarios,' IEEE Transactions on Software Engineering, Vol.24, pp.1055-1071, 1998   DOI   ScienceOn
40 I. Kru' ger, R. Grosu, P. Scholz, and M. Broy, 'From MSCs to Statecharts,' Distributed and Parallel Embedded Systems, F.J. Rammig, ed., Kluwer Academic Publishers, pp.61-71, 1999
41 G. Karsai, J. Sztipanovits, and H. Franke, 'Towards Specification of Program Synthesis in Model-Integrated Computing,' Proceedings of IEEE ECBS Conference, pp. 226-233, 1998
42 D. Milicev, 'Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments,' IEEE Transaction on Software Engineering, Vol.28, No.4, pp.413-431, 2002   DOI   ScienceOn