Changes between Version 7 and Version 8 of lamp


Ignore:
Timestamp:
Jan 31, 2020 3:31:26 PM (9 months ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • lamp

    v7 v8  
    44LAMP is an AADL annex sub-language that stands for Logic AADL Model Processing.[[BR]]
    55Its aim is to provide an inline, comprehensive, rigorous, flexible, powerful and user friendly solution to process AADL models.[[BR]]
    6 It is an alternate solution to REAL, LUTE and RESOLUTE altogether.[[BR]]
     6It is an alternate solution to REAL, LUTE and RESOLUTE altogether and can complement AGREE with a timing simulation based approach.[[BR]]
    77LAMP enables the creation of user defined assurance case processing tools [[BR]]
    88that are embedded within the [wiki:AADL AADL] model and leveraged by the power of the [wiki:LMP LMP] technology.[[BR]]