AADL通過行為附件以狀態(tài)機(jī)的形弌對鉏件的內(nèi)部行汋建模
發(fā)布時間:2021/9/25 8:16:23 訪問次數(shù):352
Notecard可以以極低的開發(fā)成本,加快用于連接資產(chǎn)的蜂窩物聯(lián)網(wǎng)解決方案的開發(fā)速度。
Blues Wireless Notecard 基于高性能、超低功耗的STM32L4R5 微控制器 (MCU)、先進(jìn)的密鑰管理和設(shè)備安全芯片 STSAFE-A,以及集成溫度傳感器、運(yùn)動傳感器和功耗優(yōu)化的位置感知傳感器的 LIS2DTW12模塊。
圍繞意法半導(dǎo)體產(chǎn)品,Notecard集成預(yù)付費(fèi)嵌入式蜂窩數(shù)據(jù)服務(wù)、安全通信功能,和可顯著縮短各種云連接物聯(lián)網(wǎng)應(yīng)用從概念到部署時間的創(chuàng)新開發(fā)模式。
制造商:Infineon產(chǎn)品種類:電源開關(guān) IC - 配電RoHS: 詳細(xì)信息類型:High Side輸出端數(shù)量:1 Output輸出電流:1.3 A電流限制:6.5 A導(dǎo)通電阻—最大值:150 mOhms運(yùn)行時間—最大值:180 us空閑時間—最大值:200 us工作電源電壓:6 V to 52 V最小工作溫度:- 30 C最大工作溫度:+ 85 C安裝風(fēng)格:SMD/SMT封裝 / 箱體:SOIC-8系列:Industrial PROFET封裝:Reel封裝:Cut Tape封裝:MouseReel商標(biāo):Infineon Technologies濕度敏感性:YesPd-功率耗散:1.5 W產(chǎn)品:Power Switches產(chǎn)品類型:Power Switch ICs - Power Distribution工廠包裝數(shù)量:2500子類別:Switch ICs電源電壓-最大:52 V電源電壓-最小:6 V商標(biāo)名:PROFET零件號別名:ISP752TXT SP000211730 ISP752TFUMA1單位重量:83.260 mg
架構(gòu)分析與設(shè)計語言(AADL)是一種用于描述復(fù)雜嵌入式系統(tǒng)體系架構(gòu)的建模語言,被廣泛用于安全關(guān)鍵系統(tǒng)建模與驗(yàn)證。
AADL通過行為附件以狀態(tài)機(jī)的形弌對鉏件的內(nèi)部行汋建模。工業(yè)界中的復(fù)雜系統(tǒng)常使用層次自動機(jī)描述組件的功能行為,而行為附件中沒有表達(dá)層次自動機(jī)的機(jī)制。
針對這一問題,提出了AADL行為附件的層次化擴(kuò)展——HBA。首先給出了HBA的形式語法,然后定義了HBA的操作語義。
(素材來源:eccn和ttic.如涉版權(quán)請聯(lián)系刪除。特別感謝)
Notecard可以以極低的開發(fā)成本,加快用于連接資產(chǎn)的蜂窩物聯(lián)網(wǎng)解決方案的開發(fā)速度。
Blues Wireless Notecard 基于高性能、超低功耗的STM32L4R5 微控制器 (MCU)、先進(jìn)的密鑰管理和設(shè)備安全芯片 STSAFE-A,以及集成溫度傳感器、運(yùn)動傳感器和功耗優(yōu)化的位置感知傳感器的 LIS2DTW12模塊。
圍繞意法半導(dǎo)體產(chǎn)品,Notecard集成預(yù)付費(fèi)嵌入式蜂窩數(shù)據(jù)服務(wù)、安全通信功能,和可顯著縮短各種云連接物聯(lián)網(wǎng)應(yīng)用從概念到部署時間的創(chuàng)新開發(fā)模式。
制造商:Infineon產(chǎn)品種類:電源開關(guān) IC - 配電RoHS: 詳細(xì)信息類型:High Side輸出端數(shù)量:1 Output輸出電流:1.3 A電流限制:6.5 A導(dǎo)通電阻—最大值:150 mOhms運(yùn)行時間—最大值:180 us空閑時間—最大值:200 us工作電源電壓:6 V to 52 V最小工作溫度:- 30 C最大工作溫度:+ 85 C安裝風(fēng)格:SMD/SMT封裝 / 箱體:SOIC-8系列:Industrial PROFET封裝:Reel封裝:Cut Tape封裝:MouseReel商標(biāo):Infineon Technologies濕度敏感性:YesPd-功率耗散:1.5 W產(chǎn)品:Power Switches產(chǎn)品類型:Power Switch ICs - Power Distribution工廠包裝數(shù)量:2500子類別:Switch ICs電源電壓-最大:52 V電源電壓-最小:6 V商標(biāo)名:PROFET零件號別名:ISP752TXT SP000211730 ISP752TFUMA1單位重量:83.260 mg
架構(gòu)分析與設(shè)計語言(AADL)是一種用于描述復(fù)雜嵌入式系統(tǒng)體系架構(gòu)的建模語言,被廣泛用于安全關(guān)鍵系統(tǒng)建模與驗(yàn)證。
AADL通過行為附件以狀態(tài)機(jī)的形弌對鉏件的內(nèi)部行汋建模。工業(yè)界中的復(fù)雜系統(tǒng)常使用層次自動機(jī)描述組件的功能行為,而行為附件中沒有表達(dá)層次自動機(jī)的機(jī)制。
針對這一問題,提出了AADL行為附件的層次化擴(kuò)展——HBA。首先給出了HBA的形式語法,然后定義了HBA的操作語義。
(素材來源:eccn和ttic.如涉版權(quán)請聯(lián)系刪除。特別感謝)
熱門點(diǎn)擊
- 濾波器必須從10MHz的通帶轉(zhuǎn)折頻率變?yōu)?0
- AT89S5l型單片機(jī)輸出0V~5V的TTL
- 3.3V至15V邏輯信號輸入電源時序監(jiān)測和上
- NTC溫度傳感器用于溫度檢測三相馬達(dá)如空調(diào)器
- XLR8 Gaming系列臺式機(jī)內(nèi)存條的高度
- 高邊嵌入柵極驅(qū)動器能很容易由集成的陰極負(fù)載二
- 一個兩線接口負(fù)責(zé)處理芯片與外部EEPROM存
- 三款CMOS圖像傳感器新品SC350HGS進(jìn)
- 板載i.MX RT106S處理器和支持超過1
- OX03C10圖像傳感器可用于采樣的智能互聯(lián)
推薦技術(shù)資料
- DS2202型示波器試用
- 說起數(shù)字示波器,普源算是國內(nèi)的老牌子了,F(xiàn)QP8N60... [詳細(xì)]