Project for 2019-2020 Highly Dependable Systems Course in Instituto Superior Técnico.

• Maven - Dependency Management
• gRPC - Client/Server RPC Architecture.
• JUnit - For unit testing

In the base project directory:

mvn compile

Start the servers with the startServers.bat (in the server directory) or manually. In the base project directory:

mvn test

In the server directory: Recal that you need 3 * numberOfFaults + 1 servers in different ports to run the project.

mvn exec:java "-Dexec.args=<port> <numberOfFaults>"

In the client directory:

mvn exec:java

Registers a user in the server.

register|<userAlias>

• userAlias - Alias of the user to be registered

Posts a message in the user's personal board.

post|<userAlias>|<Message>

or with references

post|<userAlias>|<Message>|<Ref1>|<Ref2>|...

• userAlias - Alias of the user that is posting
• Message - Message of post
• RefN- Post Ids that refer to other existing posts

Posts a message in the general board.

postGeneral|<userAlias>|<Message>

or with references

postGeneral|<userAlias>|<Message>|<Ref1>|<Ref2>|...

• userAlias - Alias of the user that is posting
• Message - Message of post
• RefN- Post Ids that refer to other existing posts

Reads from some user's personal board.

read|<userAlias>|<userToRead>|<NumberOfPosts>

• userAlias - Alias of the user that is posting
• userToRead - Owner of the board we want to read
• NumberOfPosts- Number of posts to read. (0 reads all)

Reads from the General board.

readGeneral|<userAlias>|<NumberOfPosts>

• userAlias - Alias of the user that is posting
• NumberOfPosts- Number of posts to read. (0 reads all)

Start the server. Start the client. Execute like other commands:

demo1

• register | user1
• post | user1 | Test
• read | user1 | user1 | 0

demo2

• register | user1
• register | user2
• postGeneral | user1 | Test
• postGeneral | user2 | Test2 | 1
• readGeneral | user1 | 0

demo3

• register | user1
• post | user1 | Test
• post | user1 | Test2
• post | user1 | Test3
• read | user1 | user1 | 2

• Mara Caldeira - 83506
• Miguel Coelho - 87687
• Pedro Alves - 87692