1 / 21

Systems Modeling and Analysis Using Colored Petri Nets

Systems Modeling and Analysis Using Colored Petri Nets. Vijay Gehlot Center of Excellence in Enterprise Technology Department of Computing Sciences. Outline. Introduction CPN Overview CPN Model of WMDNs SOA in Defense Presence/Discovery Model. Ariane 5 Failure. Ariane 5, ESA

raina
Download Presentation

Systems Modeling and Analysis Using Colored Petri Nets

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Systems Modeling and Analysis Using Colored Petri Nets Vijay Gehlot Center of Excellence in Enterprise Technology Department of Computing Sciences

  2. Outline • Introduction • CPN Overview • CPN Model of WMDNs • SOA in Defense • Presence/Discovery Model CEET Conference 2007

  3. Ariane 5 Failure • Ariane 5, ESA • Maiden Flight, 6/4/1996 • 37 sec later self-destructs • Root cause: uncaught overflow exception CEET Conference 2007

  4. Mars Climate Orbiter Failure • Mars Climate Orbiter, NASA • Launched, 12/11/1998 • Lost, 9/23/1999 • Root cause: failed translation of English units into metric units in a segment of ground-based, navigation-related mission software CEET Conference 2007

  5. London Ambulance Service Failure • Computer Aided Dispatch • Introduced 10/26/1992 • Within days major system failure • Vehicle positions incorrectly recorded • Multiple vehicles dispatched to same location • Severe delays • Lives lost CEET Conference 2007

  6. Airbus A320 Failure CEET Conference 2007

  7. Why Does This Matter? • Computer systems perform many critical tasks • Safety-critical systems will dominate • Already complex nature of software • SOAs and Net-centricity add dimensions of concurrent and distributed computations • Systems for defense applications have very high dependability requirements • Complex interactions that are hard to predict • Consequences of failure • Injury, loss of life, environmental damage, financial loss, … • E.g, system downtime cost to brokerage operations: $7 Million/Hour • Cost of software defects: $200 Billion/Year CEET Conference 2007

  8. Current State • From a recent report The Challenges of Complex IT Projects(Royal Academy of Engineering and British Computer Society): • “The pace of technological change and the ferociously competitive nature of the industry . . . . . . lead to the triumph of speed over thoughtfulness, of the maverick shortcut over discipline, and the focus on the short term.” CEET Conference 2007

  9. Hope • Robin Milner, a prominent computer scientist, in a lecture of January 2007:“The software industry [and the report] focuses on managing software production [process], not on understanding software itself [science of software]. …Grand Challenge: Establish modeling as the basis of informatics.” CEET Conference 2007

  10. Desire • Keynote Address by Mark Schaeffer, Director, Systems & Software Engineering, Office of Under Secretary of Defense, Acquisition & Technology, IEEE Systems Conference, Honolulu, Hawaii, April 2007: • “...System assurance is still a challenge … Use modeling and simulation to help refine warfighter concept of operations, system requirements, evaluate design alternative and identify constraints...” CEET Conference 2007

  11. An Example-Wireless Medical Device Networks • Similar situations in defense and other settings too • Modeled patient scenario with • Heart alarms • Pulse oxymeters alarms • Low battery alarms • Used Colored Petri Nets CEET Conference 2007

  12. Colored Petri Nets • Graphical modelling language • Combination of PetriNets and ProgrammingLanguage • Module support for hierarchical construction • Support for both timed and untimed models • Petri Nets: • concurrency • control structures • synchronisation • communication • resource sharing • CPN ML: • data and manipulation • compact modelling CEET Conference 2007

  13. Analysis • CPN Tools software for model construction and analysis • Interactive- and automatic simulation • Application domain visualization • Simulation-based performanceanalysis • State spaceconstruction, analysis, and verification • External process communication CEET Conference 2007

  14. CPN Model of WMDN CEET Conference 2007

  15. Results and Implications • Need for QoS requirement for medical applications • Similar situation in other application domains CEET Conference 2007

  16. Net-Centricity in DoD Context CEET Conference 2007

  17. SOA for DoD Applications • Application characteristics include: • Presence/Availability awareness • Dynamic service discovery • Interoperable multiple connection types • Load balancing • … • One implementation: SIP-based internal communications and information management • Adds brokering, presence management and discovery capabilities to basic SOA CEET Conference 2007

  18. Example ESB Software Internals CEET Conference 2007

  19. CPN Model of a Key Presence/Discovery Component CEET Conference 2007

  20. Results Runtime Lab Output – Use case 1 Model Output – Use case1 CEET Conference 2007

  21. Related Modeling Efforts • SOA Security • SOA Compression • SOA Governance • SOA Granularity • XMPP • CPN as well as OPNET CEET Conference 2007

More Related