Automatic Debugging Support for UML Designs

Total Page:16

File Type:pdf, Size:1020Kb

Automatic Debugging Support for UML Designs Automatic Debugging Supp ort for UML Designs Johann Schumann RIACS / NASA Ames, Mo ett Field, CA 94035 USA, [email protected] Summary. Design of large software systems requires rigorous application of soft- ware engineering metho ds covering all phases of the software pro cess. Debugging during the early design phases is extremely imp ortant, b ecause late bug- xes are exp ensive. In this pap er, we describ e an approach which facilitates debugging of UML requirements and designs. The Uni ed Mo deling Language UML is a set of no- tations for ob ject-orient design of a software system. Wehave develop ed an algo- rithm which translates requirement sp eci cations in the form of annotated sequence diagrams into structured statecharts. This algorithm detects con icts b etween se- quence diagrams and inconsistencies in the domain knowledge. After synthesizing statecharts from sequence diagrams, these statecharts usually are sub ject to manual mo di cation and re nement. By using the \backward" direction of our synthesis algorithm, we are able to map mo di cations made to the statechart backinto the requirements sequence diagrams and check for con icts there. Fed back to the user con icts detected by our algorithm are the basis for deductive-based debugging of requirements and domain theory in very early development stages. Our approach allows to generate explanations on why there is a con ict and which parts of the sp eci cations are a ected. 1 Intro duction Size and complexity of software systems has increased tremendously. There- fore, the development of high-quality software requires rigorous application of sophisticated software engineering metho ds. One such metho d which has b ecome very p opular is the Uni ed Mo deling Language. UML [12] has b een develop ed by the \three amigos" Bo o ch, Jacobson, and Rumbaugh as a com- mon framework for designing and implementing ob ject-oriented software. UML contains many di erent notations to describ e the static and dynamic b ehavior of a system on all di erent levels and phases of the software design pro cess. Although UML provides a common notational framework for require- ments and design, UML, as any other language, do es not eliminate bugs and errors. These bugs must be found and xed in order to end up with a correctly working and reliable system. It is well known, that debugging a large software system is a critical issue and can be a ma jor cost-driving factor. Changes whichhave to b e applied to the system e.g., to x a bug 2 Johann Schumann are b ecoming substantially more exp ensive, the later they are detected Fig- ure 1. When an error is detected early during the de nition phase, its cost is relatively low, b ecause it only in uences the requirements de nition. Bug xes in a pro duct already shipp ed can b e up to 60{100 times more exp ensive [8]. 60 - 100 relative cost to change 1.5 - 6 1 Definition Development after Release Fig. 1. Relative costs for changes/bug xes on di erent stages based on [8 ]. Therefore, it is mandatory to start with debugging as early in the pro ject as p ossible. In this pap er, we will discuss an approach which supp orts debug- ging of scenarios more precisely UML sequence diagrams with resp ect to given domain knowledge. This is done as a part of an algorithm [13] which can synthesize UML statecharts from a numb er of sequence diagrams. This synthesis step can b e seen as a transformation from requirements to system design. It do es not only facilitate fast and justi able design from requirements sequence diagrams, but also substantially helps to debug the generated de- signs. Because sequence diagrams usually cover only parts of the system's intended b ehavior, the generated statecharts need to be re ned and mo di- ed manually. By applying the synthesis algorithm in a \backward" way, the re ned statechart can b e checked against the requirements. Each con ict is rep orted to the user and indicates a bug. For practical applicabilityofany debugging aid, the presentation of the bug, its cause and e ect is of ma jor imp ortance. In our approach, we rely on logic-based explanation technology: all con icts corresp ond to failure in log- ical reasoning ab out sequence diagrams, statecharts, and domain knowledge. Ongoing work, as discussed in the conclusions, uses metho ds from automated deduction to p oint the user to the exact place where the con ict o ccurred and which parts of the mo dels and sp eci cation are a ected. This pap er is organized as follows: Section 2 gives an overview of ma- jor UML notations and a typ cial iterative software design pro cess. Then we will describ e how sequence diagrams are annotated for a justi ed synthesis Debugging Supp ort for UML Designs 3 of statecharts Section 4. Based on this algorithm we discuss metho ds for debugging a sequence diagram and a synthesized statechart. In Section 7 we discuss future work and conclude. Throughout this pap er, we will use one example to illustrate our approach. The example concerns the interaction b etween an espresso vending machine and a user who is trying to obtain a cup of co ee. This example based on the ATM example discussed in [13,6] is rather small, yet complex enough to illustrate the main issues. The requirements presented here are typical scenarios for user interaction with the machine e.g., inserting a coin, selecting the typ e of co ee the user wants, reaction on invalid choices, and pressing the cancel button. More details of the requirements will b e discussed when the corresp onding UML notations have b een intro duced. 2 UML The Uni ed Mo deling Language is the result of an e ort to bring together several di erent ob ject-oriented software design metho ds. UML has b een de- velop ed by Booch, Jacobson and Rumbaugh [12] and has gained wide-spread acceptance. A variety of to ols supp ort the development in UML; among them are Rhapso dy [10], Rational's Rose [9], or Argo/UML [1]. On the top-level, requirements are usually given in the form of use cases , describing goals for the user and system interactions. For more detail and re nement, UML contains three ma jor groups of notations: class diagrams for describing the static structure, interaction diagrams for requirements, and state diagrams and activity diagrams for de ning dynamic system b ehavior. Below, we will illustrate the notations which are imp ortant for our approach to debugging of UML designs. 2.1 Software Development with UML Although no explicit development pro cess is prescrib ed for UML, UML de- sign usually follows the steps of Inception, Elab oration, Construction, and Transition, used in an iterative manner. In this pap er, we will not elab orate on the pro cess mo del. For details, cf., e.g., [4]. The imp ortance of supp ort for debugging of UML designs on the level of sequence diagrams requirements, and statecharts b ecomes evident, when we lo ok at a graphical representation of an iterative development pro cess Figure 2. The design starts by analyz- ing the physical pro cess at the lower left part of the gure. The result of the analysis comprises the requirements e.g., as a set of sequence diagrams, and know ledge ab out the domain henceforth called domain theory. Based on these, a model of the system is develop ed, consisting of class diagrams, statecharts and activity diagrams. This mo del must now be implemented. Mo dern software engineering to ols provide automatic co de-generation or at 4 Johann Schumann least supp ort for this step. Finally, the pro duced system must be veri ed against the physical pro cess, and its p erformance tuned. Traditionally, the way to get a working system is simulation pro cess{ requirements{mo del, and testing requirements{mo del{system. Here, errors and bugs have to b e found and removed. Within an iterative design pro cess, these steps are p erformed over and over again, depicted by the circular arcs. To keep these iterations fast and thus cost-e ective, powerful techniques for debugging requirements against domain knowledge, and mo dels against requirements are vital. Our approach supp orts this kind of debugging and it will b e discussed in the next section, following a short description of the basic concepts of class diagrams, sequence diagrams, and statecharts. Development Requirements Model specification Code Generation SimulationTesting Analysis Process System Performance tuning/ -verification Fig. 2. Iterative Design Pro cess 2.2 Class Diagram A class diagram is a notation for mo deling the static structure of a system. It describ es the classes in a system and the relationships b etween them. Figure 3 shows an example of a class diagram for our co ee-vending machine example. In an ob ject-oriented fashion, the main class here \co ee machine" is broken down into sub-classes. The aggregation relation 3 shows when one class is part of another one. The generalization relation shows when one class is an instanceof another. For further details, see e.g., [12]. 2.3 Statecharts Statecharts [5,12], are nite state machines extended with hierarchy and or- thogonality. They allow a complex system to b e expressed in a compact and Debugging Supp ort for UML Designs 5 top-level physical dialog Cancel device handling Coin Cup Coffee-type Machine checker dispenser selector Controller Fig.
Recommended publications
  • Open Research Online UML in Practice Oro.Open.Ac.Uk
    Open Research Online The Open University’s repository of research publications and other research outputs UML in practice Conference Item How to cite: Petre, Marian (2013). UML in practice. In: 35th International Conference on Software Engineering (ICSE 2013), 18-26 May 2013, San Francisco, CA, USA (forthcoming), pp. 722–731. For guidance on citations see FAQs. c 2013 IEEE Version: Accepted Manuscript Link(s) to article on publisher’s website: http://2013.icse-conferences.org/ Copyright and Moral Rights for the articles on this site are retained by the individual authors and/or other copy- right owners. For more information on Open Research Online’s data policy on reuse of materials please consult the policies page. oro.open.ac.uk UML in Practice Marian Petre Centre for Research in Computing The Open University Milton Keynes, UK [email protected] Abstract—UML has been described by some as “the lingua UML “with rigor” (as he later expressed to the informant). In franca of software engineering”. Evidence from industry does contrast, the informant concluded that probably 45 of the 47 not necessarily support such endorsements. How exactly is UML were like him: “selective borrowers” … “who use some of the being used in industry – if it is? This paper presents a corpus of principles sometimes”. The IBM speaker and the informant interviews with 50 professional software engineers in 50 had very different models of what ‘using UML’ means in companies and identifies 5 patterns of UML use. practice, with different implications. Index Terms—UML, software development, software design, Budgen et al.
    [Show full text]
  • Tool Use in Software Modelling Education
    Tool use in software modelling education Seiko Akayama1, Birgit Demuth3, Timothy C. Lethbridge4, Marion Scholz2, Perdita Stevens5, and Dave R. Stikkolorum6 1 Kyushu University, Japan 2 Vienna University of Technology, Austria 3 Technische Universit¨atDresden, Germany 4 University of Ottawa Canada 5 University of Edinburgh Scotland 6 Leiden University The Netherlands Abstract. An important decision that must be taken by anyone design- ing a course involving (object oriented software) modelling is what tool support, if any, to use. Options include picking an industrial strength modelling tool, using a tool specifically designed for educational use, or eschewing tool use altogether in favour of pencil and paper. The best an- swer will depend on many factors, including the prior experience of the students (and staff), the length and organisation of the course, and the learning objectives. Moreover, decisions on tools have an impact on other aspects of course design. In this informal paper, the result of discussion at the MODELS Educators' Symposium 2013, we survey previous work on this question, discuss our own experience, and draw out some key issues that someone designing a new course involving modelling must consider. 1 Introduction Teaching object oriented design and modelling in a university is important not only because these are important skills that students will need if they pursue careers in software development, but also because this area is a key interface be- tween research and teaching. This double motivation { we might say, vocational and intellectual { for teaching design and modelling is itself a source of challenge for educators. We experience a tension between the desire to train students in the skills they will need after university, and the desire to have them reflect on the nature of design and modelling and the ways in which these activities could be improved with the help of cutting edge research.
    [Show full text]
  • Executing UML Models
    Executing UML Models Miguel Pinto Luz1, Alberto Rodrigues da Silva1 1Instituto Superior Técnico Av. Rovisco Pais 1049-001 Lisboa – Portugal {miguelluz, alberto.silva}@acm.org Abstract. Software development evolution is a history of permanent seeks for raising the abstraction level to new limits overcoming new frontiers. Executable UML (xUML) comes this way as the expectation to achieve the next level in abstraction, offering the capability of deploying a xUML model in a variety of software environments and platforms without any changes. This paper comes as a first expedition inside xUML, exploring the main aspects of its specification including the action languages support and the fundamental MDA compliance. In this paper is presented a future new xUML tool called XIS-xModels that gives Microsoft Visio new capabilities of running and debugging xUML models. This paper is an outline of the capabilities and main features of the future application. Keywords: UML, executable UML, Model Debugging, Action Language. 1. Introduction In a dictionary we find that an engineer is a person who uses scientific knowledge to solve practical problems, planning and directing, but an information technology engineer is someone that spends is time on implementing lines of code, instead of being focus on planning and projecting. Processes, meetings, models, documents, or even code are superfluous artifacts for organizations: all they need is well design and fast implemented working system, that moves them towards a new software development paradigm, based on high level executable models. According this new paradigm it should be possible to reduce development time and costs, and to bring new product quality warranties, only reachable by executing, debugging and testing early design stages (models).
    [Show full text]
  • Case No COMP/M.4747 Œ IBM / TELELOGIC REGULATION (EC)
    EN This text is made available for information purposes only. A summary of this decision is published in all Community languages in the Official Journal of the European Union. Case No COMP/M.4747 – IBM / TELELOGIC Only the English text is authentic. REGULATION (EC) No 139/2004 MERGER PROCEDURE Article 8(1) Date: 05/03/2008 Brussels, 05/03/2008 C(2008) 823 final PUBLIC VERSION COMMISSION DECISION of 05/03/2008 declaring a concentration to be compatible with the common market and the EEA Agreement (Case No COMP/M.4747 - IBM/ TELELOGIC) COMMISSION DECISION of 05/03/2008 declaring a concentration to be compatible with the common market and the EEA Agreement (Case No COMP/M.4747 - IBM/ TELELOGIC) (Only the English text is authentic) (Text with EEA relevance) THE COMMISSION OF THE EUROPEAN COMMUNITIES, Having regard to the Treaty establishing the European Community, Having regard to the Agreement on the European Economic Area, and in particular Article 57 thereof, Having regard to Council Regulation (EC) No 139/2004 of 20 January 2004 on the control of concentrations between undertakings1, and in particular Article 8(1) thereof, Having regard to the Commission's decision of 3 October 2007 to initiate proceedings in this case, After consulting the Advisory Committee on Concentrations2, Having regard to the final report of the Hearing Officer in this case3, Whereas: 1 OJ L 24, 29.1.2004, p. 1 2 OJ C ...,...200. , p.... 3 OJ C ...,...200. , p.... 2 I. INTRODUCTION 1. On 29 August 2007, the Commission received a notification of a proposed concentration pursuant to Article 4 and following a referral pursuant to Article 4(5) of Council Regulation (EC) No 139/2004 ("the Merger Regulation") by which the undertaking International Business Machines Corporation ("IBM", USA) acquires within the meaning of Article 3(1)(b) of the Council Regulation control of the whole of the undertaking Telelogic AB ("Telelogic", Sweden) by way of a public bid which was announced on 11 June 2007.
    [Show full text]
  • Challenges and Opportunity of UML Diagram for Software Project Development As a Complete Modeling Tool
    IOSR Journal of Mobile Computing & Application (IOSR-JMCA) e- ISSN: 2394-0050, P-ISSN: 2394-0042.Volume 7, Issue 3 (May - June 2020), PP 46-48 www.iosrjournals.org Challenges and Opportunity of UML Diagram for Software Project development as a complete Modeling Tool Ketema Kifle Gebretsadik1 Debre Markos University, School of Computing, Institute of Technology, Debre Markos, Ethiopia Abstract: UML(Unified Modeling Language) is a most useful method of visualization and documenting software systems design.UML uses object oriented design concepts and it is independent of specific programming language. Unified Modeling Language is a popular technique for documenting and modeling system. The UML uses set of symbols to represent graphically the various components and relationships within the system and UML can be used for business processing modeling and requirements modeling, it mainly is used to support object oriented system analysis and to develop the object models. Many articles describe UML features, but only very few of them discuss its downside in software design. This article discusses the downside of UML as a complete modeling tool for software design. Some of the disadvantages of UML areno specification for modeling of user interfaces, business rule specification a group exists for this within theObject Management Group(OMG), so we should see something in UML and Poor for distributed systems are no way to formally specify serialization and object persistence.Even though UML have many advantages it has also their owndownside for software design. Keyword: UML, Challenge of UML, Software design, UML diagrams ----------------------------------------------------------------------------------------------------------------------------- ---------- Date of Submission: 22-05-2020 Date of Acceptance: 09-06-2020 ----------------------------------------------------------------------------------------------------------------------------- ---------- I.
    [Show full text]
  • Fakulta Informatiky UML Modeling Tools for Blind People Bakalářská
    Masarykova univerzita Fakulta informatiky UML modeling tools for blind people Bakalářská práce Lukáš Tyrychtr 2017 MASARYKOVA UNIVERZITA Fakulta informatiky ZADÁNÍ BAKALÁŘSKÉ PRÁCE Student: Lukáš Tyrychtr Program: Aplikovaná informatika Obor: Aplikovaná informatika Specializace: Bez specializace Garant oboru: prof. RNDr. Jiří Barnat, Ph.D. Vedoucí práce: Mgr. Dalibor Toth Katedra: Katedra počítačových systémů a komunikací Název práce: Nástroje pro UML modelování pro nevidomé Název práce anglicky: UML modeling tools for blind people Zadání: The thesis will focus on software engineering modeling tools for blind people, mainly at com•monly used models -UML and ERD (Plant UML, bachelor thesis of Bc. Mikulášek -Models of Structured Analysis for Blind Persons -2009). Student will evaluate identified tools and he will also try to contact another similar centers which cooperate in this domain (e.g. Karlsruhe Institute of Technology, Tsukuba University of Technology). The thesis will also contain Plant UML tool outputs evaluation in three categories -students of Software engineering at Faculty of Informatics, MU, Brno; lecturers of the same course; person without UML knowledge (e.g. customer) The thesis will contain short summary (2 standardized pages) of results in English (in case it will not be written in English). Literatura: ARLOW, Jim a Ila NEUSTADT. UML a unifikovaný proces vývoje aplikací : průvodce ana­lýzou a návrhem objektově orientovaného softwaru. Brno: Computer Press, 2003. xiii, 387. ISBN 807226947X. FOWLER, Martin a Kendall SCOTT. UML distilled : a brief guide to the standard object mode•ling language. 2nd ed. Boston: Addison-Wesley, 2000. xix, 186 s. ISBN 0-201-65783-X. Zadání bylo schváleno prostřednictvím IS MU. Prohlašuji, že tato práce je mým původním autorským dílem, které jsem vypracoval(a) samostatně.
    [Show full text]
  • UML Modelleme Araçlarının Pratik Kullanım Için Analizi
    UML Modelleme Araçlarının Pratik Kullanım için Analizi Mert Ozkaya1 and Ferhat Erata2 1 Yeditepe Üniversitesi , Ataşehir, İstanbul [email protected] 2 UNIT Bilgi Teknolojileri R&D Ltd., Bornova, Izmir [email protected] Özet. Günümüzde, Unified Modeling Language(UML) pratisyenler tarafından en sık tercih edilen yazılım sistemi modelleme ve tasarlama notasyonu olarak kabul edilmektedir. UML, aynı zamanda, birçok yazılım modelleme aracı tarafın- dan desteklenmektedir, ve bu araçlar sayesinde, pratisyenler yazılım sistem- lerini kolayca UML notasyonunu kullanarak modelleyebilir ve analiz, yazılım kodu üretme, ve işbirliği gibi birçok faydalı değişik işlemler gerçekleştirebilirler. Bu çalışmada, tanınan 11 farklı UML modelleme aracını pratisyenlerin UML’i benimsemeleri açısından önemli olduğunu düşündüğümüz bir grup gereksinim bakımından analiz ettik. Bu gereksinimler başlıca, modellerin tasarımı, model analizi, modelden kod üretme, iş-birliği halinde modelleme, ve genişletilebilir- lik olmaktadır. Model tasarımı gereksinimi, modelleme araçlarının UML diya- gramlarına olan destekleri, yazılım modelleme bakış-açılarına olan destekleri, ve büyük ve karmaşık yazılım modellerinin tasarımına olan destekleri açıların- dan ele alınmaktadır. Model analizi gereksinimi, simülasyon ve doğrulama (hem önceden tanımlanmış doğrulama hem de kullanıcı tanımlı doğrulama) gereksin- imlerine olan destek bakımından incelenmektedir. İş-birliği halinde modelleme gereksinimi ise, senkron ve asenkron olarak çoklu kullanıcı desteği, görev yöne-
    [Show full text]
  • Object Constraint Language (OCL): a Definitive Guide
    Object Constraint Language (OCL): a Definitive Guide Jordi Cabot1 and Martin Gogolla2 1 INRIA / Ecole´ des Mines de Nantes (France), [email protected] 2 University of Bremen (Germany), [email protected] Abstract. The Object Constraint Language (OCL) started as a com- plement of the UML notation with the goal to overcome the limitations of UML (and in general, any graphical notation) in terms of precisely spec- ifying detailed aspects of a system design. Since then, OCL has become a key component of any model-driven engineering (MDE) technique as the default language for expressing all kinds of (meta)model query, manip- ulation and specification requirements. Among many other applications, OCL is frequently used to express model transformations (as part of the source and target patterns of transformation rules), well-formedness rules (as part of the definition of new domain-specific languages), or code-generation templates (as a way to express the generation patterns and rules). This chapter pretends to provide a comprehensive view of this language, its many applications and available tool support as well as the latest research developments and open challenges around it. 1 Introduction The Object Constraint Language (OCL) appeared as an effort to overcome the limitations of UML when it comes to precisely specifying detailed aspects of a system design. OCL was first developed in 1995 inside IBM as an evolution of an expression language in the Syntropy method [26]. The work on OCL was part of a joint proposal with ObjectTime Limited presented as a response to the RFP for a standard object-oriented analysis and design language issued by the Object Management Group (OMG) [26].
    [Show full text]
  • Auto-Coding UML Statecharts for Flight Software
    Auto-coding UML Statecharts for Flight Software Ed Benowitz, Ken Clark, Garth Watney Jet Propulsion Laboratory, California Institute of Technology {Edward.Benowitz, Ken.Clark, Garth.Watney}@jpl.nasa.gov Abstract coder was used to generate code. The auto-generated Statecharts have been used as a means to code was then post-processed into flight code, communicate behaviors in a precise manner between compliant with the flight software design team’s system engineers and software engineers. Hand- coding style and constraints. The team reported an translating a statechart to code, as done on some overall positive experience with auto-coding, but previous space missions, introduces the possibility of highlighted the importance of open code generation errors in the transformation from chart to code. To algorithms. improve auto-coding, we have developed a process that generates flight code from UML statecharts. Our 2.1. Deep Impact process is being used for the flight software on the Space Interferometer Mission (SIM). Like the Deep Space 1 mission, Deep Impact (DI) [2] used Stateflow as a drawing and simulation tool. 1. Introduction Flight code was automatically generated for both fault protection monitors and responses. Deep Impact used Designs are often specified, formally or informally, an updated version of StateFlow, which was as hierarchical statecharts. As space missions become incompatible with the file format version used on DS1. more complex, the software complexity must be Additionally, DI was written in C++, and had different communicated both within a software engineering requirements for auto-coder output. The DI team team, and between software and system engineers.
    [Show full text]
  • Best Practices for Applying UML, Part I
    Best Practices for Applying UML, Part I Darius Šilingas, Ph.D. Principal Trainer for MagicDraw UML Content Software Development and Modeling with UML...........................................................................3 Best Practices ..............................................................................................................................4 Best Practice #1: Apply a subset of UML relevant to your role ...........................................................................5 Best Practice #2: Focus on the Most Valuable Modeling Artifacts ......................................................................6 Best Practice #3: Model in Multiple Abstraction Levels .....................................................................................12 Best Practice #4: Choose Appropriate Level of Detail.......................................................................................15 Best Practice #5: Model with Style ....................................................................................................................18 About the author.........................................................................................................................20 Services contacts .......................................................................................................................20 2 © No Magic, Inc. Although UML notation is widely recognized as lingua franca for software development, many developers still lack skills for applying it efficiently. Methodologists, practitioners
    [Show full text]
  • An Overview of UML 2.0 (And MDA)
    ® IBM Software Group An Overview of UML 2.0 (and MDA) Bran Selic [email protected] IMPORTANT DISCLAIMER! The technical material described here is still under development and is subject to modification prior to full adoption by the Object Management Group 2 IBM Software Group | 1 Tutorial Objectives 1. To introduce the major new features of UML 2.0 2. To explain the design intent and rationale behind UML 2.0 3. To describe the essence of model-driven development (as realized with UML 2.0) 3 IBM Software Group | Tutorial Overview Introduction: Modeling and Dynamic Semantics Software Interaction Modeling Model-Driven Development Capabilities A Critique of UML 1.x Activities and Actions Requirements for UML 2.0 State Machine Innovations Foundations of UML 2.0 Other New Features Architectural Modeling Summary and Conclusion Capabilities 4 IBM Software Group | 2 A Skeptic’s View of Software Models… PH reached X start Monitor Control ble Current PH PH ena PH ble stop disa Raise PH Input valve control “…bubbles and arrows, as opposed to programs, …never crash” -- B. Meyer “UML: The Positive Spin” American Programmer, 1997 5 IBM Software Group | The Problem with Bubbles… PH reached X start Monitor Control ble Current PH PH ena PH ble stop disa Raise PH Input valve control ? main () { BitVector typeFlags (maxBits); char buf [1024]; cout << msg; while (cin >> buf) { if ... 6 IBM Software Group | 3 Models in Traditional Engineering As old as engineering (e.g., Vitruvius) Traditional means of reducing engineering risk 7 IBM Software Group | What Engineers Do Before they build the real thing..
    [Show full text]
  • Dats - UML Modeling - V9.0 EN 8
    Modeling Embedded Systems Using embedded UML tools to create high quality embedded software on hardware with limited resources For 15 years the UML plays an increasingly important role in the development of Index: software. However, in the field of embedded software, especially embedded software on target environments with limited resources, ‚C‘ is still the development Evolution of Programming environment of choice. Actually strange, because the often safety related embedded systems would benefit Why UML Modeling ? immensely from the increase in overview, changeability, testing possibilities, links with requirement management systems and so on. What do I need to use UML ? For all UML with code generation could give a real boost to the quality of IBM Rational Rhapsody embedded systems and support in certification processes. Willert Software Tools offers several solutions for UML environments tailored for Embedded UML Studio III even the smallest embedded systems. All Solutions with their own specific features, benefits and price. RXF Framework What must be considered, however, is that the UML has a much larger instruction set than ‚C‘. To apply the UML on a target environment this must first be implemented in an efficient way. This is where Willert Software Tools shows it‘s real strength. We have put all the experience in real-time embedded software development that we have collected since 1992, in our UML Framework & Debug Technology. This enables you to use the UML in it‘s full strength for your embedded software development! Evolution of Programming What is the essential problem, we are facing today in software engineering? What keeps us from becoming more productive? Why do we need more and more capacity for testing? The answer is short and simple and reveals itself, if we take a look at the history of programming.
    [Show full text]