ADL (Architecture Description Language)是一種用來描述某種特定領域之系統的語言 (domain-specific language。 而EAST-ADL是一種專門設計用以描述汽車嵌入式軟體系統的ADL。
白話來說,我們知道車用電子嵌入式系統開發已經傾向於軟體為中心的開發,而為了管理日益複雜的車用軟體功能與需求,並且更快的迭代開發週期,業界建立了modeling and simulation的架構,其中一個modeling汽車各零件功能與需求管理的系統化語言即為EAST-ADL。
1.架構:
EAST-ADL有4個抽象層,這4個層都與V model息息相關:Vehicle level: 特徵樹(feature trees)描述車輛內容 (What the vehicle should do?)
Analysis level: 從功能角度描述系統
Design level: 硬體細節
Implementation level: embedded system之實現(implementation)
除了Vehicle level是描述What should be done之外,其他三層都是在不同抽象角度描述How it should be done.
最底層就是接EEA,如下圖,
FAA (FunctionalAnalysisArchitecture) 抽象化描述系統部件之功能。
至於implementation level內的描述不是透過EAST-ADL語法,而是AUTOSAR來完成。
當然每一層之部件可以與其他層link在一起以便提升traceability.
另外左方的Environment model描述vehicle dynamics, road surface, driver, ORU等,用來做功能的V&V(例如透過模擬)。
#image source: EAST-ADL white paper:https://www.maenad.eu/public/conceptpresentations/EAST-ADL_WhitePaper_M2.1.12.pdf
接下來解釋一下上圖右邊的extensions是什麼意思:
1. Timing Modeling: 描述與時間有關的non-functional properties,這種properties可分為timing requirements與timing properties。語法是採用TIMMO project的TADL(Timing Augmented Description Language),至於AUTOSAR裡面也有一套語法叫做"Timing Extensions"用來描述時間資訊。
例子: 我有一個stimuli(sensor偵測到下雨),一個observable event/response(雨刷啟動),我可以定義這兩個事件發生之時間不超過某個值。
例子2: 我可以定義兩個事件之"同步",何謂同步? 然後剎車會讓車燈自動同步亮這種事件也可以系統化被描述。
2.Functional Safety Modeling:
與ISO26262相容,定義了faults, errors, failures。提供safety analysis, specification and design.
資料來源:
#http://www.artist-embedded.org/docs/Events/2010/FESA/slides/5_EAST-ADL_Lonn.pdf
#EAST-ADL白皮書
另外左方的Environment model描述vehicle dynamics, road surface, driver, ORU等,用來做功能的V&V(例如透過模擬)。
#image source: EAST-ADL white paper:https://www.maenad.eu/public/conceptpresentations/EAST-ADL_WhitePaper_M2.1.12.pdf
2. Modeling Concepts
#使用omg之MOF語法,並以AUTOSAR做輔助。接下來解釋一下上圖右邊的extensions是什麼意思:
1. Timing Modeling: 描述與時間有關的non-functional properties,這種properties可分為timing requirements與timing properties。語法是採用TIMMO project的TADL(Timing Augmented Description Language),至於AUTOSAR裡面也有一套語法叫做"Timing Extensions"用來描述時間資訊。
例子: 我有一個stimuli(sensor偵測到下雨),一個observable event/response(雨刷啟動),我可以定義這兩個事件發生之時間不超過某個值。
例子2: 我可以定義兩個事件之"同步",何謂同步? 然後剎車會讓車燈自動同步亮這種事件也可以系統化被描述。
2.Functional Safety Modeling:
與ISO26262相容,定義了faults, errors, failures。提供safety analysis, specification and design.
資料來源:
#http://www.artist-embedded.org/docs/Events/2010/FESA/slides/5_EAST-ADL_Lonn.pdf
#EAST-ADL白皮書

No comments:
Post a Comment