We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some that violate even the most basic authentication guarantees. We analyse the cause of these weaknesses, propose repaired versions of the protocols, and provide automated, machinechecked proofs of the correctness of the resulting prot...

In this paper we introduce a new UML stereotype, the Function Block Adapter (FBA), which is responsible for the connection of UML-RealTime capsules and function blocks of the IEC 61131-3 (standard for PLC programming languages). FBAs contain an interface to capsules as well as to function blocks and a description of the mapping between these interfaces. For this description a special FBA-langua...

IEC 61499 standard provides an architecture for control systems using function blocks (FB), languages, and semantics. These devices can be interconnected communicate with each other. Each device contains several resources algorithms a communication FB at the end, which created, configured, deleted without affecting other resources. Physical element represented by that encapsulates functionality...

For the characterization of hearing aids, a new test method has been defined in the new International Electrotechnical Commission (IEC) standard 60118-15. For this characterization, the hearing aid will be set to actual user settings as programmed by standard fitting software from the hearing aid manufacturer. To limit the variation of programming outcomes, 10 standard audiograms, which cover t...

In June 1989, the JTC1 initiated the development of an International Standard, ISO/IEC 12207 [1], on software life cycle processes to fill a critical need. Since the "cottage" industry era of the late 1970's, software has been establishing itself as an integral part of many scientific and business disciplines. However, environments for developing and managing software have been proliferating fo...

Observability of Switched Linear Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. Gómez-Gutiérrez, G. Ramírez-Prado, A. Ramírez-Treviño, and J. Ruiz-León 127 On Formal Analy...

The IEC 61850 standard originally was developed for the substation automation. During the past years it was adapted for the integration of distributed energy resources into communication networks, however, with specific requirements. Many small and midsize manufacturers are using, as controllers, a big variety of different microprocessors with limited performances. Such controllers need an inte...