Changes between Version 7 and Version 8 of lamp
- Timestamp:
- 01/31/20 14:31:26 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
lamp
v7 v8 4 4 LAMP is an AADL annex sub-language that stands for Logic AADL Model Processing.[[BR]] 5 5 Its 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]]6 It is an alternate solution to REAL, LUTE and RESOLUTE altogether and can complement AGREE with a timing simulation based approach.[[BR]] 7 7 LAMP enables the creation of user defined assurance case processing tools [[BR]] 8 8 that are embedded within the [wiki:AADL AADL] model and leveraged by the power of the [wiki:LMP LMP] technology.[[BR]]