Det finns en lågpris debugger/trace från Lauterbach tillgänglig för alla Cortex-M processorer. Med denna kan du debugga och traca mer än 1000 olika Cortex-M processorer och med den inbyggda 256Mbyte trace:en kan du göra avancerade kodtäckningsanalyser, debugga och trace multicore lösningar mm.
PCAN-MiniDiag FD för grundläggande diagnos och snabb kontroll av CAN och CAN FD-bussar.
En batteridriven handenhet med funktioner som visar exempelvis terminerings-, bussbelastnings-, meddelande- och felräknare samt nivåerna vid CAN-anslutningen. I synnerhet kan användare för första gången få tillgång till ett CAN-nätverk på några sekunder med den innovativa överföringshastighetsdetektering. Mer exakt används bitmätningar för att bestämma den nominella bithastigheten för CAN och datahastigheten för CAN FD.
PCAN-MiniDiag FD kan enkelt hanteras med en hand på grund av sin kompakta storlek och får plats i en jack- eller byxficka. Enheten är lämplig för servicetekniker och utvecklare som snabbt vill komma åt okända CAN-nätverk i fordon, maskiner eller industrianläggningar för enkel diagnostik. PCAN-MiniDiag FD har en D-Sub-kontakt, en OLED-skärm, ett membran tangentbord med fyra nycklar, och ett hus med ökat IP42 ingressskydd.
TRACE32 Success StoryMöjligheten att analysera runtime beteendet hos ett målsystem kan vara en mycket viktig, men ofta förbisedd, del av debugprocessen. Ofta, i ett realtidssystem är ett sent svar lika illa som ett felaktigt svar.
Olika mjukvaruverktyg finns, särskilt i Linuxvärlden, för att hjälpa till att mäta prestanda för ett inbäddat system, men ibland slutar de bara genom att kompensera problemet.
Denna artikel visar hur Advanced Driver Information Technology GmbH (ADIT) i Hildesheim använde Lauterbachs TRACE32, ett icke-påträngande hårdvarubaserat spårverktyg för att övervinna ett sådant problem.
QA Systems Cantata stöder nu Lauterbachs TRACE32 Debugger. Denna integration kommer att underlätta helautomatisering av testningspraxis som verifiering, kodtäckning och spårbarhet för debugging compiled code på inbyggda applikationer.
Det finns olika tillvägagångssätt för kvalificering av CodeSonar i säkerhetskritiska system.
CodeSonar är certifierad av TÜV SÜD för IEC 61508 (allmänna säkerhetskritiska system), ISO 26262 (fordonsindustrin) och EN 50128 (järnvägssystem). TÜV SÜD har godkänt att en specifik version av CodeSonar som är ”fit for purpose” för dessa standarder, och i de flesta fall standarder som är derivat av IEC 61508. Detta är en bra grund för att genomföra ett manuellt certifieringsarbete.
GrammaTech erbjuder också ett kvalificeringspaket för CodeSonar. Detta paket ger information om de tester, processer och riktlinjer som behövs för att bevisa korrekt funktion av CodeSonar i just er specifika miljö.
Skillnaden mellan certifikatet och kvalificeringspaketet är att paketet hjälper dig att specificera hur du använder statisk analys (checkers etc) och GENERERAR 4 olika dokument:
Det förtydligar och förenklar certifieringsprocessen avsevärt, speciellt vid byte av version eller annat (som t.ex. kompilator). Den maximala säkerhetsnivån är ASIL D (ISO 26262).
Lauterbach are pleased to announce that the TRACE32 Tool Qualification Support-Kit (TQSK) has been certified by TÜV NORD to ISO 26262:2011 for developing systems up to and including
ASIL D, the highest level.
With deeply embedded software playing a more significant role in our everyday lives it becomes more important that this software is developed well and is able to function as intended even in unforeseen circumstances. To this end numerous software safety standards have been developed for industries which where software failure will cause injury or loss of life: automotive, medical, avionics, etc. In many jurisdictions, compliance to these standards is mandated.
Many different tools may be used in the development of a safety critical system and it is not unreasonable to expect the same level of quality and reliability from the tools which are used to develop, build and test these systems. After all, a tool is usually just another combination of hardware and software and it also needs to be proven to be reliable and consistent when in use. With the Tool Qualification Support-Kit Lauterbach gives developers the peace of mind of knowing that the TRACE32 family of products have been demonstrably shown to produce consistent, reliable results and can be proven to an internationally recognized high standard. Not only does this provide an extra level of confidence but can also greatly reduce the time and cost required to certify a toolset for a particular project.
Says Norbert Weiss, International Sales Manager at Lauterbach: “The Lauterbach philosophy has always been to provide high quality tools for professional developers. I see the TQSK as providing another advantage to our customers and allowing them to push the boundaries of what is possible even further and with less risk. After all, if you’re developing world leading solutions you should also be using world leading tools.”
The TQSK is available now for both new and existing Lauterbach customers. Please visit the registration page https://www.lauterbach.com/register_tqsk.html to obtain your copy
Danlaw’s testsystem Mx-Suite gör det möjligt att testa på olika nivåer och innehåller stöd för allt från modellbaserad test med t.ex Simulink och Rhapsody, ner till HIL-test. Fokus ligger på automotive då verktygen stöder ISO 26262 certifiering.
Några spännande funktioner:
-Testa i en virtuell miljö eller på target
-Testa från en Simulink modell
-Testa infotainment, ADAS, drivlina eller chassi
-Färdiga komponenter för CAN, LIN, Bluetooth, MOST, Ethernet
-Testa AUTOSAR software components
-Kvalificerat för ISO 26262
-Kör PIL (Processor-In-the Loop) med Lauterbach för realtidstest
Genom att separera olika program och processer kan du minska attackytor och få en säkrare SW-arkitektur. I en artikel i Automobil Elektronik beskrivs grunderna för en hypervisor i både single-core och multi-core system som gör det möjligt att certifiera för ASIL D.
Vill du ha tips på hur du löser typiska firmware problem? Kolla då in Jack Ganssle’s blog. I över tjugo år har Jack publicerat sitt nyhetsbrev, The embedded Muse, och tips till firmware-utvecklare på webben. Han har även författat ett antal böcker om embedded och engagerats av NASA för att analysera komplexa problem.
Kanske kan vi få se honom i Sverige till våren.
Ja, hur kvalitetssäkrar du dina miljoninvesteringar i programkod? Väldigt många produktutvecklingsprojekt drivs helt eller delvis av inhyrda konsulter. Kostnaderna för dessa är tydliga.
De är inne i projekten en begränsad tid, och sedan kanske inte tillgängliga mer för dig. Vad händer sen? När de lämnat över projekt, kod och dokumentation (och faktura), står du då med de körda systemtesterna som enda bevis på att koden fungerar och därmed klarar acceptanskriteriet?
Eller, har du också säkerställt att koden du betalt dyra pengar för är:
Såvida ditt projekt inte är av typen engångsleverans, så är det sannolikt så att ditt företag kommer att göra många uppdateringar och tillägg under lång tid framöver. Det betyder att investeringen i produkten till största delen görs efter första release, och under lång tid av flera olika personer. Olika undersökningar visar att kostnaden för det fortsatta underhållet kan variera stort (1-10ggr) beroende på den interna kodkvaliteten, dvs de ovan listade egenskaper i koden som du inte kan testa utifrån i ett systemtest. Sådana egenskaper brukar ha otympliga namn som underhållbarhet eller ”maintainability”. Kostnaden för dålig maintainability är att en programändring tar flera gånger längre tid att göra än i en kodbas med god maintainability.
Summerar vi då dessa två faktorer
a) största investeringen i en produkts mjukvara görs under dess livstid efter första release
b) kostnaden för underhållet beror väldigt mycket på ”maintainability” kvaliteten.
så förstår man snabbt att det är riktigt dålig ekonomi att inte göra allt för att kräva bevis på att den kod som du betalt för, har just god ”maintainability”. Eller, för att använda en simpel metafor, har du just köpt dig en bil som drar 1 liter eller 10 liter per mil?
Som tur är finns hjälpmedel och mätetal för att kontrollera olika aspekter på ”maintainability” och kodkvalitet. Några saker du relativt enkelt kan kontrollera är t.ex
Om du konsekvent använder dessa teknologier, så lägger du en kvalitetsribba för dina projekt som du kan kräva ska klaras av både interna och externa resurser. Det kommer att i framtiden spara dig mycket pengar i att slippa re-factoring eller att helt skriva om gammal kod.
Vidare läsning:
“The Economics of Software Quality” av C. Jones/O. Bonsignour, Addison-Wesley.
“Building Maintainable Software” by Joost Visser, O’Reilly Media Inc., 2016.
“Faster issue resolution with higher technical quality of software”, Software Quality Journal, 2011.
Teknologier som kan hjälpa dig:
– Statisk kodanalys, t.ex CodeSonar
– Arkitekturanalys med beroendematriser, t.ex Lattix
– IP säkerhet t.ex Achilles test
