Kennedy Carter’s customers include companies in a variety of vertical application markets from aerospace and defence to healthcare. Despite developing disparate software products, all these customers have placed demanding requirements on their system and software development processes. Common to all Kennedy Carter’s customers is a need to:

• Develop reliable software applications where system behaviour has been tested against requirements enabling early identification of system bugs;

• Implement models describing the static and dynamic behaviour of a system to enable proper system architectural development with a focus on system behaviour (how it performs) rather than on implementation details;

• Develop models that are independent of the implementation details of a target platform (language and processing characteristics) so that these models can be:
  
  
  • reused as the implementation platform changes, or
  • easily modified to implement changes in system requirements;
    
• include customised policies and rules in the model compilers used to automatically translate models into application code, For high-performance target platforms with complex implementation or performance characteristics.

Many of Kennedy Carter’s customers use a complete top-down solution with system modelling and code generation to one or a number of target platforms. For example, customers in the military, aerospace and defence markets have used the company’s products to develop software for avionics mission computers, radars, torpedoes and other applications where safety and reliability are fundamental. Kennedy Carter’s unique model compiler technology and tools have been used to develop customised model compilers targeted at some of the most demanding platforms (VxWorks, LynxOS, Integrity 178-B, etc.).

The benefits of the rigorous and precise modelling provided by Kennedy Carter’s tools can also be achieved without necessarily using a model compiler. Driven by the introduction of new IT initiatives, Kennedy Carter’s customers in healthcare have used executable UML to build “executable system specifications” clearly and unambiguously linked to system requirements. These models, readily understood by project stakeholders and by software contractors alike, have been used to verify system behaviour against stakeholder requirements, identifying errors and omissions in the requirements.

Just like customers in mil/aero and healthcare markets, customers in other markets such as nuclear management and telecommunications have achieved considerable benefits by using Kennedy Carter’s products.

Information on these customers, their applications, the solutions they have implemented and the benefits that they have derived can be found in the CUSTOMERS section of this website.