Generics

Latest Posts

In this context, dynamic constraint checking includes software runtime checks (assertions that make checks over the correct behavior of the system) and hardware checks provided by some microprocessors, for example, memory protection provided by a Memory Management Unit (MMU).

Building Safety by Design: CHERI in Critical Systems Development

New smart textiles developed by researchers at ETH Zurich use acoustic waves and glass fibres to help make precise measurements. They are light, breathable and inexpensive, and offer great potential for medicine, sports and everyday life.

Using sound waves to create a smart T-shirt

In addition to safety, weight is one of the decisive criteria in aircraft construction. This is why both aircraft manufacturers and airlines leave no stone unturned when it comes to making their planes lighter. After all, every kilogram saved pays off in the form of lower fuel consumption.

No longer worth the weight

Autonomous mobility already exists... to some extent. Building an autonomous vehicle that can safely navigate an empty highway is one thing. The real challenge lies in adapting to the dynamic and messy reality of urban environments.

When autonomous mobility learns to wonder