Papers published on a yearly basis
Papers
More filters
•
01 Dec 2003TL;DR: In this paper, a software process writes to the connection table at the local end of a circuit with the address information of the remote end of the circuit to establish or tear down new connections.
Abstract: Systems for in-band control that establish relationships between incoming data and one or more destinations to which the data is to be transmitted. In the in-band control embodiments described herein, a connection is established between two ends of a circuit by provisioning at one end of the circuit. A circuit connection table is kept at both ends of the circuit. This table contains the new and existing circuit connection information. A software process writes to the connection table at the local end of the circuit with the address information of the remote end of the circuit. The circuit connection information is to be periodically sent to the remote end to establish or tear down new connections.
8 citations
••
27 Dec 2005TL;DR: This paper addresses the use of formal specification languages such as the property specification language (PSL) in combination with dynamic and static verification methods for programmed logic devices to suggest a design assurance strategy for complex programmable airborne electronics compliant with the guidelines of RTCA/DO-254.
Abstract: This paper discusses the additional design assurance strategies stated in RTCA/DO-254, Appendix B - "Design assurance considerations for level A and level B functions." In particular, we address the use of formal specification languages such as the property specification language (PSL) in combination with dynamic (simulation) and static (formal) verification methods for programmed logic devices. Using these methods, we suggest a design assurance strategy for complex programmable airborne electronics compliant with the guidelines of RTCA/DO-254. The strategy is a semi-formal solution, a hybrid of static and dynamic assertion based verification.
8 citations
•
22 Jun 1994TL;DR: In this paper, the cylinder liners are accommodated in cylindrical apertures in a common cylinder support which may be made as a single element and is removably secured to a lower surface of the cylinder block.
Abstract: A cylinder liner support arrangement in an internal combustion engine, preferably in which the cylinder block and cylinder head are integrated in a common monobloc element and the cylinder barrels for the engine pistons have cylinder liners which have their upper portions inserted in cylinder bores in the cylinder block. The lower portions of the cylinder liners are accommodated in cylindrical apertures in a common cylinder liner support which may be made as a single element and is removably secured to a lower surface of the cylinder block. The cylinder liner support includes a number (corresponding to the number of cylinders of the engine) of mutually connected supporting sleeves which are disposed in-line, delineate the cylindrical apertures and have their sleeve walls surrounding the lower portions of the cylinder liners and providing them with lateral support. The cylinder liner support includes a mounting plate from one side of which the supporting sleeves protrude. Along the side edges of the mounting plate fastening holes are provided to accommodate screws for screwing the cylinder liner support securely to the lower surface of the cylinder block.
8 citations
•
21 Oct 1988TL;DR: In this paper, a heat sink (4) intended for mounting along the edge of an electrical circuit board (1) in order to cool heat-generating components (2) on the circuit board was designed.
Abstract: A heat sink (4) intended for mounting along the edge (3) on an electrical circuit board (1) in order to cool heat-generating components (2) on the circuit board. The heat sink (4) is designed with on the one hand a longitudinal slot (5) for mounting on the circuit board (1) and on the other hand a mounting flange (6) located in substantially the same plane as the slot (5). The design of this mounting flange (6) means that a circuit board (1) provided with a heat sink (4) can be mounted in guide tracks or equivalent in the same manner as a circuit board (1) without heat sink (4). The design of the heat sink (4) also means that the same heat sink (4) can be used for different circuit boards (1) and different components (2).
8 citations
••
11 Oct 2020TL;DR: It is concluded that only the most valuable implementations of NNs should be considered as meaningful to implement in safety-critical systems.
Abstract: In this paper, we discuss challenges when using neural networks (NNs) in safety-critical applications. We address the challenges one by one, with aviation safety in mind. We then introduce a possible implementation to overcome the challenges. Only a small portion of the solution has been implemented physically and much work is considered as future work. Our current understanding is that a real implementation in a safety-critical system would be extremely difficult. Firstly, to design the intended function of the NN, and secondly, designing monitors needed to achieve a deterministic and fail-safe behavior of the system. We conclude that only the most valuable implementations of NNs should be considered as meaningful to implement in safety-critical systems.
8 citations
Authors
Showing all 760 results
Name | H-index | Papers | Citations |
---|---|---|---|
Christer Larsson | 64 | 272 | 12916 |
Björn Johansson | 62 | 637 | 16030 |
David C. Viano | 48 | 232 | 8283 |
Thomas Schiex | 47 | 138 | 11031 |
Robin Hanson | 28 | 114 | 3519 |
Per Lötstedt | 28 | 109 | 2960 |
Brigitte Mangin | 26 | 48 | 2652 |
Lars Hanson | 19 | 117 | 1138 |
Carl Gustafson | 17 | 34 | 1035 |
Magnus Carlsson | 16 | 37 | 808 |
Per-Johan Nordlund | 14 | 26 | 2738 |
David Allouche | 14 | 26 | 680 |
Mark A. Saab | 13 | 16 | 1153 |
Andreas Gällström | 13 | 34 | 402 |
Hans Hellsten | 12 | 37 | 549 |