A description of Systems Design at Praxis High Integrity Systems , a configurable, structured framework, approach that enables our clients to develop complex distributed systems in critical environments:End:
 

Praxis High Integrity Systems logo

Praxis High Integrity Systems Limited
arrowHome arrowSystems Engineering arrowSystems Design
Photo




Contact for Systems Engineering
Email


Read more about Systems Engineering:

Concept of Operations
Our Approach
System Analysis
System Integration

Providing a Framework for System Design


System Design is a proven part of our Systems Engineering approach, which enables our clients to develop complex distributed systems in critical environments.

Our approach to System Design is more than a method; it is a structured framework, which can be adapted and expanded to support specific customer needs.

Key features include:

  • Distinct architectural views to address the different aspects of system design.
  • Iterative assessment against defined set(s) of design targets.
  • Selective use of formal techniques appropriate to the required system integrity.
  • Integration with project, configuration, risk and safety management.

With this framework in place, suitable languages and notations in support of the required system integrity can then be chosen and used to generate these views.




Example architectural views and their use of UML 2.0:

Typical Architectural Views UML 2.0 Notations
  Class Compliance Structure Deploy-
ment
Sequence State
High level design
(physical)
       
High level design
(functional)
       
Functional
Collaboration
   
Performance        

Notation and Tools:

Notations Tools
Unified Modelling Language (UML) 2.0 Telelogic DOORS, Tav & Tav Generation2
Formal Methods (Z, B, CSP) ARTISAN Real Time Studio
Praxis High Integrity Systems' REVEAL® (Satisfaction Arguments) Rational RequisitePro & Rose RealTime
  Configuration/document management tools such as PVCS, eB and Synergy.
 

© Website Content Praxis High Integrity Systems 2008

arrowNormal text arrowLarge text
 

corner Site index
cornerSitesearch
corner
Products and Services
line
Key Markets
line
Newsline
Exceptional Peopleline
Publications and Articlesline
About Us
line
Photo
Contact Us +44 01225 466991
bulletOffice contact details, maps
bulletRecruitment and vacancies