Changes between Version 7 and Version 8 of lamp


Ignore:
Timestamp:
Jan 31, 2020 3:31:26 PM (2 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]]