TR-Electronic公司位于德國(guó)特羅辛根，主營(yíng)業(yè)務(wù)為研發(fā)與制造工業(yè)自動(dòng)化領(lǐng)域的傳感器和執(zhí)行器。其產(chǎn)品包括旋轉(zhuǎn)編碼器、線性編碼器、智能緊湊型驅(qū)動(dòng)器，以及控制和測(cè)量模塊等。公司的自動(dòng)化解決方案固件需要依靠架構(gòu)模型，這些模型同時(shí)為各個(gè)業(yè)務(wù)部門(mén)的進(jìn)步和新項(xiàng)目研發(fā)提供支持。目前，TR-Electronic將通過(guò)Axivion Suite引入新的靜態(tài)代碼分析功能，確保一致地執(zhí)行定制要求，并滿足嚴(yán)苛的安全標(biāo)準(zhǔn)。
“Axivion Suite是我們固件開(kāi)發(fā)中質(zhì)量保證的又一個(gè)關(guān)鍵組成部分，尤其是在滿足工業(yè)環(huán)境日益嚴(yán)格的安全和安保需求方面。”
TR-Electronic 的測(cè)量和控制解決方案廣泛應(yīng)用于眾多領(lǐng)域，包括金屬和木材加工、印刷和包裝行業(yè)，以及事件工程和風(fēng)力渦輪機(jī)等。公司為高品質(zhì)的標(biāo)準(zhǔn)產(chǎn)品和定制解決方案開(kāi)發(fā)的固件，都要求具備精心設(shè)計(jì)的系統(tǒng)架構(gòu)。這樣，TR-Electronic 能確保各種固件版本易于管理，并長(zhǎng)期保障其安全穩(wěn)定的發(fā)展。
要嚴(yán)格遵循軟件架構(gòu)師制定的架構(gòu)模型，唯一的方法就是采用一致的、基于工具的架構(gòu)分析方法。為此，開(kāi)發(fā)團(tuán)隊(duì)必須將分析軟件工具無(wú)縫地融入開(kāi)發(fā)過(guò)程。除了檢查代碼是否遵循固件現(xiàn)有的架構(gòu)模型外，分析工具還需要向架構(gòu)師提供關(guān)于設(shè)計(jì)的反饋，以幫助他們對(duì)模型進(jìn)行進(jìn)一步優(yōu)化。
另一個(gè)對(duì)分析工具的要求涉及安全性和安全分析。隨著 TR-Electronic 的傳感器和執(zhí)行器越來(lái)越多地被應(yīng)用于工業(yè)4.0環(huán)境及用于監(jiān)測(cè)關(guān)鍵設(shè)備安全功能，技術(shù)安全標(biāo)準(zhǔn)日益嚴(yán)格，以保護(hù)聯(lián)網(wǎng)生產(chǎn)設(shè)備免受惡意軟件和未授權(quán)訪問(wèn)的威脅。因此，所選工具還需要能執(zhí)行安全性和安全分析，預(yù)防系統(tǒng)性安全隱患，包括自動(dòng)檢查程序是否符合CERT?等相關(guān)編程指南。另外，新套件還需要盡可能順利地替代之前用于檢查MISRA C:2012編碼規(guī)范的靜態(tài)代碼分析工具。
Axivion Suite完全符合此需求，因?yàn)锳xivion Suite可以精確的分析和輕松融入TR-Electronic現(xiàn)有工具鏈和開(kāi)發(fā)流程。將現(xiàn)有的靜態(tài)代碼分析工具遷移到Axivion Suite的過(guò)程非常快速、順利，Axivion專(zhuān)業(yè)服務(wù)團(tuán)隊(duì)的定制過(guò)程也同樣如此。
該工具套件將用于分析用C編程語(yǔ)言開(kāi)發(fā)的代碼。集成的MISRA檢查器將覆蓋編程標(biāo)準(zhǔn)MISRA C:2012中所有可自動(dòng)檢查的MISRA規(guī)則以及安全方面的內(nèi)容。作為架構(gòu)驗(yàn)證的一部分，現(xiàn)有的Enterprise Architect UML模型將被自動(dòng)導(dǎo)入并檢查代碼是否符合規(guī)范。Axivion Suite將融入TR-Electronic測(cè)試構(gòu)建工具鏈，對(duì)于軟件來(lái)說(shuō)，其中至關(guān)重要的是符合CERT?編程規(guī)范。
TR-Electronic此前部署了一些測(cè)試工具，用于自動(dòng)檢查固件的外部質(zhì)量，例如功能適用性、效率等。隨著Axivion Suite的引入，現(xiàn)在還擁有了一款高效的工具，用于自動(dòng)檢測(cè)軟件的內(nèi)部質(zhì)量。
此工具套件將在每次構(gòu)建后負(fù)責(zé)自動(dòng)檢查固件代碼和架構(gòu)。分析能夠可靠地檢查指標(biāo)閾值的遵循情況，以及公司特定的和通用的編程規(guī)則（如MISRA和CERT?），并指出違反既定軟件架構(gòu)的情況。架構(gòu)驗(yàn)證確保始終符合接口要求，以便支持各個(gè)模塊的封裝。
在持續(xù)的代碼開(kāi)發(fā)過(guò)程中，尤其是在出現(xiàn)架構(gòu)違例的情況下，迅速的反饋周期很快對(duì)編程質(zhì)量產(chǎn)生了正面效果。這得益于定期且有意義的反饋，不僅可以促使編碼及時(shí)進(jìn)行修正，還可以幫助開(kāi)發(fā)者更快地學(xué)習(xí)和掌握技能。
總體而言，TR-Electronic大幅減少了在驗(yàn)證軟件架構(gòu)和代碼方面所需的人力成本。同時(shí)，Axivion Suite通過(guò)確保固件開(kāi)發(fā)的安全性，完善了開(kāi)發(fā)團(tuán)隊(duì)現(xiàn)有的工具鏈。
TR-Electronic專(zhuān)注于為自動(dòng)化技術(shù)產(chǎn)業(yè)開(kāi)發(fā)、制造和銷(xiāo)售傳感器及執(zhí)行器。旋轉(zhuǎn)編碼器業(yè)務(wù)部門(mén)的產(chǎn)品采用光學(xué)或磁學(xué)掃描，用于檢測(cè)旋轉(zhuǎn)軸的角度運(yùn)動(dòng)。磁致伸縮線性編碼器可以在不接觸的情況下測(cè)量線性運(yùn)動(dòng)的位移，例如在液壓缸內(nèi)的應(yīng)用。運(yùn)動(dòng)業(yè)務(wù)部門(mén)的智能緊湊驅(qū)動(dòng)器可作為執(zhí)行器或過(guò)程驅(qū)動(dòng)。定制的控制和測(cè)量模塊融入了專(zhuān)業(yè)的壓力和沖壓技術(shù)，進(jìn)一步完善了整個(gè)產(chǎn)品組合。組件業(yè)務(wù)部門(mén)提供自動(dòng)化組件。自動(dòng)化業(yè)務(wù)部門(mén)所提供的發(fā)展服務(wù)將升級(jí)壓力線性能，并利用智能計(jì)量解決方案提高能源利用效率，實(shí)現(xiàn)遠(yuǎn)程監(jiān)控水供網(wǎng)絡(luò)和智能加熱自動(dòng)化。
TR-Electronic的主要客戶(hù)為機(jī)械和設(shè)備制造行業(yè)，在德國(guó)有悠久傳統(tǒng)。公司總部位于德國(guó)特羅辛根，在歐洲、美國(guó)、加拿大、巴西和亞洲的子公司和技術(shù)銷(xiāo)售伙伴為其提供專(zhuān)業(yè)建議和項(xiàng)目規(guī)劃，確保全球范圍內(nèi)的客戶(hù)可以使用TR產(chǎn)品系列。
Axivion公司總部位于德國(guó)斯圖加特，是一家為靜態(tài)代碼分析和防止軟件侵蝕提供創(chuàng)新軟件解決方案的供應(yīng)商。Axivion的核心產(chǎn)品是Axivion Suite，這是一款用于提高用C、C++和C＃編程語(yǔ)言實(shí)現(xiàn)的軟件系統(tǒng)的軟件質(zhì)量和可維護(hù)性的工具套件。除了靜態(tài)代碼分析之外，該工具套件還包括用于架構(gòu)驗(yàn)證和代碼克-隆管理的創(chuàng)新軟件工具。此外，該工具套件還能發(fā)現(xiàn)軟件侵蝕因素，如周期檢測(cè)、死代碼和編碼違規(guī)。
Axivion的MISRA檢查器支持100%的所有可自動(dòng)測(cè)試的MISRA規(guī)則，符合MISRA C:2004，MISRA C:2012和MISRA C++:2008等標(biāo)準(zhǔn)。此外，該工具還支持AUTOSAR C++ 14樣式指南以及CERT?安全編程規(guī)范標(biāo)準(zhǔn)。
Axivion的專(zhuān)業(yè)服務(wù)團(tuán)隊(duì)致力于為客戶(hù)提供實(shí)用方法、培訓(xùn)方案和咨詢(xún)，以確保工具得到高效且有效地推廣與應(yīng)用。
Axivion的客戶(hù)涵蓋了在各行業(yè)從事創(chuàng)新技術(shù)軟件開(kāi)發(fā)的公司，如工業(yè)自動(dòng)化、汽車(chē)、鐵路、電子、信息與通信、航空電子、醫(yī)療、機(jī)械工程，以及測(cè)量、控制和調(diào)節(jié)技術(shù)等領(lǐng)域。
自2022年8月起，Axivion公司已加入Qt Group旗下。
*圖片版權(quán)所有：TR-Electronic GmbH（位于斯圖加特）
深圳市優(yōu)飛迪科技有限公司成立于2010年，是一家專(zhuān)注于產(chǎn)品開(kāi)發(fā)平臺(tái)解決方案與物聯(lián)網(wǎng)技術(shù)開(kāi)發(fā)的國(guó)家級(jí)高新技術(shù)企業(yè)。
十多年來(lái)，優(yōu)飛迪科技在數(shù)字孿生、工業(yè)軟件尤其仿真技術(shù)、物聯(lián)網(wǎng)技術(shù)開(kāi)發(fā)等領(lǐng)域積累了豐富的經(jīng)驗(yàn)，并在這些領(lǐng)域擁有數(shù)十項(xiàng)獨(dú)立自主的知識(shí)產(chǎn)權(quán)。同時(shí)，優(yōu)飛迪科技也與國(guó)際和國(guó)內(nèi)的主要頭部工業(yè)軟件廠商建立了戰(zhàn)略合作關(guān)系，能夠?yàn)榭蛻?hù)提供完整的產(chǎn)品開(kāi)發(fā)平臺(tái)解決方案。
優(yōu)飛迪科技技術(shù)團(tuán)隊(duì)實(shí)力雄厚，主要成員均來(lái)自于國(guó)內(nèi)外頂尖學(xué)府、并在相關(guān)領(lǐng)域有豐富的工作經(jīng)驗(yàn)，能為客戶(hù)提供“全心U+端到端服務(wù)”。
