1 / 5

University of Ottawa School of Information Technology and Engineering Telecom Software Engineering Research Group LOTOS

University of Ottawa School of Information Technology and Engineering Telecom Software Engineering Research Group LOTOS group. Emphasis of the group. Advancing the state of the art in techniques for the design of telecom software Design process: if it is carefully and thoroughly carried out

fedella
Télécharger la présentation

University of Ottawa School of Information Technology and Engineering Telecom Software Engineering Research Group LOTOS

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. University of OttawaSchool of Information Technology and EngineeringTelecom Software Engineering Research GroupLOTOS group

  2. Emphasis of the group • Advancing the state of the art in techniques for the design of telecom software • Design process: if it is carefully and thoroughly carried out • many software faults can be detected before implementation starts • much of the implementation can be automated • savings at later stages, improved product quality • Standards are an application area

  3. Techniques that we have been developing • Design notations such as Use Case Maps • Formal Description Techniques: SDL, LOTOS, Message Sequence Charts... others • Methods for validating designs expressed in each one of these techniques: formal prototyping • Exploiting the complementarity among these techniques • Cross-checking and translating between techniques • Deriving functional test cases for use at design or at implementation stages

  4. Some of our recent projects I • WIN: explore new techniques for the specification and validation of WIN standards • Mobility patterns: identify and validate design patterns among mobility standards, leading to a catalogue of reusable patterns for the design of future systems

  5. Some of our recent projects II • Define telephony features in high-level languages, validate features, detect feature interactions • high placement in recent international contests • Validate design of a new IP-based PBX; derive functional test cases (with Mitel and Dr. Probert)

More Related