Le insidie nella qualifica delle librerie del compilatore

Dalla rivista:
Embedded

 

Le norme relative a functional safety e cybersecurity trattano la qualifica degli strumenti e delle librerie come argomenti indipendenti. Questa indipendenza non è coerente con la prospettiva della norma ISO C che sta alla base dell’implementazione del set di strumenti di compilazione e delle sue librerie. In linea di principio generale questa differenza fa emergere “alcune sfide” quando si tratta di qualificare uno strumento di compilazione e le librerie associate a tale strumento

Leggi l’articolo completo su Embedded 91

Gerard Vink, Industry Specialist Product Definition - TASKING

Contenuti correlati

• 
  TASKING a embedded world 2024

  TASKING presenterà a embedded world 2024 i suoi più recenti tool per lo sviluppo di software automotive embedded. TASKING esporrà infatti  la sua gamma di strumenti che abbracciano l’intero processo di sviluppo del software, noto come “Compile,...
• 
  Copertura MC/DC multimodale in TRACE32

  La sicurezza funzionale (functional safety) è un requisito fondamentale per i sistemi embedded critici per la sicurezza. Tra i test necessari per la certificazione secondo i diversi standard di sicurezza è previsto il Code Coverage. Da anni...
• 
  Tecnologie wireless adatte per le esigenze attuali e future

  L’ultimo standard della famiglia WiFi, il WiFi 6, e la sua estensione WiFi 6E promettono elevate velocità di trasmissione dati, maggiore capacità e tempi di latenza ridotti anche in ambienti con un elevato numero di nodi di...
• 
  Kit per l’energy harvesting

  L’energy harvesting è una tecnologia che consente di raccogliere energia dall’ambiente circostante per alimentare dispositivi elettronici a basso consumo. In futuro potrebbe essere una soluzione importante, se si riuscisse ad aumentare la quantità di corrente relativa raccolta....
• 
  Moduli COM-HPC con pinout esteso

  Come sviluppare server industriali dedicati con i processori EPYC di AMD che mettono a disposizione un numero decisamente superiore di corsie (lane) PCIe rispetto a quello previsto da COM-HPC Leggi l’articolo completo su Embedded 91
• 
  La periferia diventa “intelligente”

  Fino a qualche anno fa era un concetto appartenente a un probabile futuro. Quello delle periferiche intelligenti è, invece, reale e sta cambiando radicalmente il modo in cui si utilizza la tecnologia. L’Intelligent Edge permette una potente...
• 
  Implementazione di un master IO-Link con temporizzazione deterministica

  Questo articolo affronterà l’argomento dell’implementazione di master IO-Link ad alte prestazioni in sistemi industriali per ottenere tempi di ciclo precisi e latenza deterministica Leggi l’articolo completo su Embedded 91
• 
  Sistemi operativi real-time: 6 RTOS per applicazioni embedded più sicure

  I progetti nel settore automobilistico, nell’automazione industriale, nella sanità, ma anche nel mondo Internet of Things, si stanno focalizzando maggiormente sui requisiti di sicurezza dei sistemi critici. Questo trend sta spingendo i vendor di piattaforme RTOS a...
• 
  La tecnologia quantistica nelle applicazioni militari

  La tecnologia quantistica è una disciplina emergente e potenzialmente dirompente, con la capacità di influenzare molte attività umane. Le tecnologie quantistiche sono tecnologie a duplice uso e come tali sono di interesse per l’industria della difesa e...
• 
  Veicoli autonomi: il punto della situazione

  Esistono pochi dubbi sul fatto che i veicoli autonomi facciano parte del futuro, anche se non sono pochi gli ostacoli, di natura tecnica e soprattutto etica, da superare per tradurre questa visione in una realtà concreta Leggi...